Name: Computer Aided Verification: 21st International Conference, C.A.V. 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
Brand: Ahmed Bouajjani
SKU: ID13024351
Availability: InStock

Computer Aided Verification: 21st International Conference, C.A.V. 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings

105.74 EUR 1% Off 106.99 EUR

Der Band der 21. Internationalen Konferenz zur Computer‑Aided Verification in Grenoble (2009) fasst wegweisende Beiträge zu formaler Verifikation, Modellprüfung und automatisierten Beweissystemen zusammen und bietet einen umfassenden Überblick über aktuelle Forschungstrends.

Marke: Ahmed Bouajjani

ISBN: 3642026575

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

-1%

Gesponsert Computer Aided Verification: 21st International Conference, C.A.V. 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings (Lecture Notes in ... Issues) (Lecture Notes in Computer Science)

Medimops DE

105.74 EUR 106.99 EUR

23-04-2026 17:55:58

Access to the deal

Gesponsert Computer Aided Verification

SpringerLink DE

106.99 EUR 106.99 EUR

23-04-2026 20:40:45

Access to the deal

Gesponsert Computer Aided Verification, Fachbücher von Ahmed Bouajjani, Oded Maler

Galaxus.de

106.99 EUR 106.99 EUR

23-04-2026 14:29:16

Access to the deal

Computer Aided Verification: 21st International Conference, C.A.V. 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings

Gesponsert Computer Aided Verification: 21st International Conference, C.A.V. 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings (Lecture Notes in ... Issues) (Lecture Notes in Computer Science)

Gesponsert Computer Aided Verification

Gesponsert Computer Aided Verification, Fachbücher von Ahmed Bouajjani, Oded Maler

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Computer Aided Verification: 21st International Conference, C.A.V. 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings

Gesponsert Computer Aided Verification: 21st International Conference, C.A.V. 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings (Lecture Notes in ... Issues) (Lecture Notes in Computer Science)

Gesponsert Computer Aided Verification

Gesponsert Computer Aided Verification, Fachbücher von Ahmed Bouajjani, Oded Maler

Ähnliche Produkte

Computer Aided Verification

Computer Aided Verification

Computer-Aided Verification of Coordinating Processes

Computer-Aided CMM Inspection Planning and Verification