Freunden von diesem Artikel berichten:
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
€ 66,99
Bestellware
Lieferdatum: ca. 18. - 27. Dez
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
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
Michael Johnson
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
Alle Titel von Michael Johnson ansehen ( u. a. Taschenbuch , CD , Gebundenes Buch , Buch und Partituren )