Abstract State Machines - Theory and Applications Yuri Gurevich
80,24 €
Titel: Abstract State Machines - Theory and Applications, Untertitel: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings, Einband: Taschenbuch, Autor: Yuri Gurevich, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 396, Maße: 235x155x22 mm, Gewicht: 598 g, Verkäufer: buch-mimpf, Schlagworte: Automatentheorie Abstract State Machines (ASM) Compiler Design Evolving Algebras Java Language Specification ML algorithm algorithms concurrency formal methods formal verification modeling structured design verification.
Jetzt bei Ebay:
