AKTUELLE PARTNERANGEBOTE

Computer Aided Verification: 23rd International Conference, C.A.V. 2011, Snowbird, U.T., U.S.A., July 14-20, 2011, Proceedings (Lecture Notes in ... Issues) (Lecture Notes in Computer Science)

Name: Computer Aided Verification: 23rd International Conference, C.A.V. 2011, Snowbird, U.T., U.S.A., July 14-20, 2011, Proceedings (Lecture Notes in ... Issues) (Lecture Notes in Computer Science)
Brand: Ganesh Gopalakrishnan
SKU: 9866533

Binding : Taschenbuch, Edition : 2011, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 784, publicationDate : 2011-08-11, publishers : Ganesh Gopalakrishnan, languages : english, ISBN : 3642221092

1 Angebote · ab 53,49 € gemeldete Gesamtkosten

Gute Entscheidungen beginnen mit einem guten Vergleich.

Computer Aided Verification: 23rd International Conference, C.A.V. 2011, Snowbird, U.T., U.S.A., July 14-20, 2011, Proceedings (Lecture Notes in ... Issues) (Lecture Notes in Computer Science)