Direkt zum Inhalt
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III (Lecture Notes in Computer Science, Band 14683)

AKTUELLE PARTNERANGEBOTE

Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III (Lecture Notes in Computer Science, Band 14683)

Binding : paperback, Edition : 2024, Label : Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III (Lecture Notes in Computer Science, Band 14683), medium : paperback, numberOfPages : 608, publicationDate : 2024-07-26, releaseDate : 2024-07-26, languages : english, ISBN : 3031656326

1 Angebote · ab 38,98 € gemeldete Gesamtkosten