![Algebraic Methodology and Software Technology: 8th International Conference, Amast 2000 Iowa City, Iowa, Usa, May 20-27, 2000 Proceedings - Lecture Notes in Computer Science - Teodor Rus - Bücher - Springer-Verlag Berlin and Heidelberg Gm - 9783540675303 - 3. Mai 2000](https://imusic.b-cdn.net/images/item/original/303/9783540675303.jpg?teodor-rus-2000-algebraic-methodology-and-software-technology-8th-international-conference-amast-2000-iowa-city-iowa-usa-may-20-27-2000-proceedings-lecture-notes-in-computer-science-taschenbuch&class=scaled&v=1569885088)
Freunden von diesem Artikel berichten:
Algebraic Methodology and Software Technology: 8th International Conference, Amast 2000 Iowa City, Iowa, Usa, May 20-27, 2000 Proceedings - Lecture Notes in Computer Science
Teodor Rus
Preis
Fr. 109,99
Bestellware
Lieferdatum: ca. 24. Jul - 5. Aug
Zu deiner iMusic Wunschliste hinzufügen
Algebraic Methodology and Software Technology: 8th International Conference, Amast 2000 Iowa City, Iowa, Usa, May 20-27, 2000 Proceedings - Lecture Notes in Computer Science
Teodor Rus
This title constitutes 20 revised full papers presented together with eight invited contributions. Among the topics covered are all current issues in formal methods related to algebraic approaches including abstract data types, abstract state machines and much more.
545 pages, biography
Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
Erscheinungsdatum | 3. Mai 2000 |
ISBN13 | 9783540675303 |
Verlag | Springer-Verlag Berlin and Heidelberg Gm |
Seitenanzahl | 545 |
Maße | 155 × 233 × 29 mm · 1,29 kg |
Redakteur | Rus, Teodor |
Alle Titel von Teodor Rus ansehen ( u. a. Taschenbuch und Gebundenes Buch )