Computer Aided Verification Kim G. Larsen
106,99 €
Titel: Computer Aided Verification, Untertitel: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings, Einband: Taschenbuch, Autor: Kim G. Larsen, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 656, Maße: 235x155x36 mm, Gewicht: 978 g, Verkäufer: buch-mimpf, Schlagworte: Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Verifikation - verifizieren Computational Logic Erfüllbarkeitsproblem der Aussagenlogik Hardware verification Learning Machine Learning automated deduction formal methods formal verification model checking modeling petri net proving systems analysis theorem proving verification tools.
Jetzt bei Ebay:
