AKTUELLE PARTNERANGEBOTE

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Notes in Computer Science, Band 10982)

Name: Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Notes in Computer Science, Band 10982)
Brand: Hana Chockler
SKU: 3590121

Binding : Taschenbuch, Edition : 1st ed. 2018, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 568, publicationDate : 2018-07-22, releaseDate : 2018-07-22, publishers : Hana Chockler, Georg Weissenbacher, ISBN : 3319961411

2 Angebote · ab 53,49 € gemeldete Gesamtkosten

Gute Entscheidungen beginnen mit einem guten Vergleich.

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Notes in Computer Science, Band 10982)