Computer Aided Verification
38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29,2026, Proceedings, Part III, Lecture Notes in Computer Science 16684
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: xix, 586 S., 149 s/w Illustr., 586 p. 149 illus.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783032325365
Umbreit-Nr.: 2106923
