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
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

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
€ 122,49

Bestellware

Lieferdatum: ca. 23. Jul - 2. Aug

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
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

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 )