Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Recent Trends in Data Type Specification

8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991. Selected Papers

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Recent Trends in Data Type Specification Michel Bidoit
Libristo kod: 02092610
Nakladnici Springer, Berlin, studeni 1992
The algebraic specification of abstract data types has been a flourishing research topic in computer... Cijeli opis
? points 125 b
51.59 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Ich entdecke die Emotionen - Color Monster / Igra/Igračka Igra
common.buy 28.16 €
Der Traum des Apothekers von Locarno Max Frisch / Knjiga Meki uvez
common.buy 11.30 €
Sistemas Quanticos em Cavidade Efeito Casimir Dinamico e Emaranhamento Granhen Edney / Knjiga Meki uvez
common.buy 55.02 €
Kultur-Kuriosa. Bd.1 Max Kemmerich / Knjiga Meki uvez
common.buy 35.63 €
Kompetenztest Biologie 2 Hans-Jürgen Seitz / Knjiga List
common.buy 16.35 €
Sozialisierung der Landwirtschaft Karl Kautsky / Knjiga Meki uvez
common.buy 25.03 €
Die weisen Frauen der Cherokee Joyce Sequichie Hifler / Knjiga Tvrdi uvez
common.buy 31.19 €
Wissensmanagement als Aufgabe des Personalmanagements Martin Weinberg / Knjiga Meki uvez
common.buy 17.05 €
Die Dunkle Seite Des Mondes Martin Suter / Knjiga Meki uvez
common.buy 13.52 €
Gott, Trinitat und Geist Jan Rohls / Knjiga Meki uvez
common.buy 139.53 €

The algebraic specification of abstract data types has been a flourishing research topic in computer science since 1974.The main goal of this work isto evolve theoretical foundations and a methodology to support the design and formal development of reliable software. This volume gives the proceedings of the Eighth Workshop on Specification of Abstract Data Types, held jointly with theThird COMPASS workshop near Paris in August 1991. The main topics covered by the joint workshop are:- specification languages and program development- algebraic specification of concurrency- theorem proving- object-oriented specifications- order-sorted algebras- abstract implementation and behavioral semantics. The volume contains four invited surveys and twelve contributed papers, all of which underwent a careful refereeing process.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Recent Trends in Data Type Specification
Autor Michel Bidoit, Christine Choppy
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1993
Broj stranica 346
EAN 9783540563792
ISBN 3540563792
Libristo kod 02092610
Nakladnici Springer, Berlin
Težina 474
Dimenzije 155 x 233 x 19

Kategorija

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer security > Data encryption
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Maximum power point tracker (MPPT) based photovoltaic (PV) water pumping system using AC and DC motors Rehan Jamil / Knjiga Meki uvez
common.buy 42.70 €
A GLANCE AT LATIN AMERICAN CIVILIZATION FRANCISCO JAV Y NES / Knjiga Tvrdi uvez
common.buy 26.85 €
Soldiers Die Aaron Grunn / Knjiga Meki uvez
common.buy 23.11 €
An Assessment of Corporate Social Responsibility Initiatives Joash Onyonka / Knjiga Meki uvez
common.buy 48.86 €
Top
Grimm's Complete Fairy Tales (Barnes & Noble Collectible Classics: Omnibus Edition) Brothers Grimm / Knjiga Tvrdi uvez
common.buy 41.69 €
Some Wild Things Bill Jones / Knjiga Tvrdi uvez
common.buy 35.13 €
Marlena's Journal Marlena Fearing / Knjiga Meki uvez
common.buy 15.74 €
Social Life of the Chinese Professor Justus Doolittle / Knjiga Meki uvez
common.buy 26.85 €
History of Barn Elms and the Kit-Cat Club Now the Ranelagh Club ... Second Edition. [With Illustrations.] C J Barrett / Knjiga Meki uvez
common.buy 26.85 €
Analysis of Biomarker Data - A Practical Guide Joseph L. Hagan / Knjiga Tvrdi uvez
common.buy 131.25 €
Encyclopedia of Language N.E. Collinge / Knjiga Tvrdi uvez
common.buy 565.62 €
To Know You Shannon Ethridge / Knjiga Meki uvez
common.buy 15.54 €
Chomsky's Challenge to American Power Anthony F. Greco / Knjiga Meki uvez
common.buy 46.74 €
Pripremamo
Art, Performance and Ritual in Benin City Charles Gore / Knjiga Tvrdi uvez
common.buy 118.43 €
Peacekeeping in Africa Marco Wyss / Knjiga Meki uvez
common.buy 75.11 €
Rise of the Chinese Militray Power Ralph L. Powell / Knjiga Meki uvez
common.buy 56.13 €
Early Childhood Education Cathy Nutbrown & Peter Clough / Knjiga Meki uvez
common.buy 29.07 €
Designing and Proposing Your Research Project Jennifer Brown Urban / Knjiga Meki uvez
common.buy 42.09 €
Hellspawn Odyssey Ricky Fleet / Knjiga Meki uvez
common.buy 13.01 €
Adventure Giorgio (Accademia di Architettura di Mendrisio) Agamben / Knjiga Tvrdi uvez
common.buy 10.39 €
Revival: Children in the Nursery School (1928) Johnson / Knjiga Tvrdi uvez
common.buy 317.44 €
Fractals in Graz 2001 Peter Grabner / Knjiga Tvrdi uvez
common.buy 123.27 €
Learn vietnamese - 150 words with pronunciations - Beginner: Picture book for bilingual kids Goose and Books / Knjiga Meki uvez
common.buy 14.73 €
Lonely Planet Shanghai Damian Harper et al / Knjiga Meki uvez
common.buy 27.35 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?