Abstract State Machines 2003: Advances in Theory and Practice Egon Börger
53,49 €
Titel: Abstract State Machines 2003: Advances in Theory and Practice, Untertitel: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings, Einband: Taschenbuch, Autor: Egon Börger, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 448, Maße: 235x155x25 mm, Gewicht: 674 g, Verkäufer: buch-mimpf, Schlagworte: Automatentheorie Formal Specification Java SPIN Systems Design UML Unified Modeling Language (UML) abstract state machines concurrency formal methods formal verification modeling software development systems analysis systems modeling verification.
Jetzt bei Ebay:
![Produktbild - Policing in France (Advances in Police Theory and Practice) [Hardback]](https://i.ebayimg.com/thumbs/images/g/2XgAAOSwUx1nl-Nv/s-l140.jpg)