AKTUELLE PARTNERANGEBOTE

Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II (Lecture Notes in Computer Science, 13965, Band 13965)

Name: Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II (Lecture Notes in Computer Science, 13965, Band 13965)
Brand: Constantin Enea
SKU: 2627917

Binding : Taschenbuch, Edition : 1st ed. 2023, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 476, publicationDate : 2023-07-18, releaseDate : 2023-07-18, publishers : Constantin Enea, Akash Lal, ISBN : 3031377028

1 Angebote · ab 39,98 € gemeldete Gesamtkosten

Gute Entscheidungen beginnen mit einem guten Vergleich.

Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II (Lecture Notes in Computer Science, 13965, Band 13965)