Computer Aided Verification Pierre Wolper
96,29 €
Titel: Computer Aided Verification, Untertitel: 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings, Einband: Taschenbuch, Autor: Pierre Wolper, Verlag: Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 468, Maße: 235x155x26 mm, Gewicht: 703 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Allgemeines Computergestützte Verifikation Echtzei-Systeme Endliche Systeme Finite-State Systems Formale Verifikationstechniken Hardware Rreal Time Systems system algorithms automata Hardware verification logic modeling real-time.
Jetzt bei Ebay:
