AKTUELLE PARTNERANGEBOTE

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)

Name: 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)
Brand: Ahmed Bouajjani
SKU: 9864457

Binding : Taschenbuch, Edition : 2009, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 740, publicationDate : 2009-06-19, releaseDate : 2009-06-19, publishers : Ahmed Bouajjani, languages : english, ISBN : 3642026575

1 Angebote · ab 105,74 € gemeldete Gesamtkosten

Gute Entscheidungen beginnen mit einem guten Vergleich.

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)