Computer Aided Verification
38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29,2026, Proceedings, Part I, Lecture Notes in Computer Science 16682
Eva Darulova/Anthony W Lin/Philipp Rümmer
€42.79
(inklusive MwSt.)
Verfügbarkeit: Noch nicht erschienen, Bestellung ist vorgemerkt
Weitere Details
Erschienen: 25.08.2026
Umfang: xiv, 512 S., 123 s/w Illustr., 512 p. 123 illus.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783032325181
Umbreit-Nr.: 2106917
