Direkt zum Inhalt
Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I (Lecture Notes in Computer Science, 15931, Band 15931)

AKTUELLE PARTNERANGEBOTE

Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I (Lecture Notes in Computer Science, 15931, Band 15931)

Binding : paperback, Label : Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I (Lecture Notes in Computer Science, 15931, Band 15931), medium : paperback, numberOfPages : 442, publicationDate : 2025-07-23, releaseDate : 2025-07-23, languages : english, ISBN : 3031986679

1 Angebote · ab 42,79 € gemeldete Gesamtkosten