AKTUELLE PARTNERANGEBOTE

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

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

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

1 Angebote · ab 42,79 € 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 III (Lecture Notes in Computer Science, 13966, Band 13966)