Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings - Programming and Software Engineering - Michael Johnson - Bücher - Springer-Verlag Berlin and Heidelberg Gm - 9783540356332 - 27. Juni 2006
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings - Programming and Software Engineering 2006 edition

Michael Johnson

Preis
Fr. 56,49

Bestellware

Lieferdatum: ca. 4. - 13. Nov
Zu deiner iMusic Wunschliste hinzufügen

Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings - Programming and Software Engineering 2006 edition

Coverage includes current issues in formal methods related to algebraic approaches and to software engineering including abstract data types, process algebras, algebraic specification, model checking, abstraction, refinement, mu-calculus, state machines, rewriting, Kleene algebra, programming logic, and formal software development.


392 pages, biography

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 27. Juni 2006
ISBN13 9783540356332
Verlag Springer-Verlag Berlin and Heidelberg Gm
Seitenanzahl 392
Maße 155 × 235 × 21 mm   ·   566 g
Sprache Deutsch  
Redakteur Johnson, Michael
Redakteur Vene, Varmo

Alle anzeigen

Weitere Titel von Michael Johnson

Andere haben auch gekauft