Automated Technology for Verification and Analysis Kedar Namjoshi
53,49 €
Titel: Automated Technology for Verification and Analysis, Untertitel: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings, Einband: Taschenbuch, Autor: Kedar Namjoshi, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 584, Maße: 235x155x32 mm, Gewicht: 873 g, Verkäufer: buch-mimpf, Schlagworte: Automatentheorie Echtzeit Real-time Realzeit Construction Embedded Systems Hardware verification Simulation automata formal method formal methods formal performance analysis hybrid systems model checking modeling petri net probabilistic models real-time verification.
Jetzt bei Ebay:
