Computer Aided Verification Sriram K. Rajamani
106,99 €
Titel: Computer Aided Verification, Untertitel: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings, Einband: Taschenbuch, Autor: Sriram K. Rajamani, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 588, Maße: 235x155x32 mm, Gewicht: 879 g, Verkäufer: buch-mimpf, Schlagworte: Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Verifikation - verifizieren Compiler Computational Logic Computer aided verification Erfüllbarkeitsproblem der Aussagenlogik Hardware verification Syntax algorithms automata automated deduction formal methods formal program analysis formal verification microprocessor petri net verification.
Jetzt bei Ebay:
