Computer Aided Verification
38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29,2026, Proceedings, Part II, Lecture Notes in Computer Science 16683
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: xxiv, 597 S., 150 s/w Illustr., 597 p. 150 illus.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783032325259
Umbreit-Nr.: 2107172
