Verified Software: Theories, Tools, Experiments
4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29,2012 Proceedings, Lecture Notes in Computer Science 7152 - Programming and Software Engineering
Rajeev Joshi/Peter Müller/Andreas Podelski
€53.49
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 10.01.2012
Umfang: xi, 326 S., 41 s/w Illustr., 326 p. 41 illus.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783642277047
Umbreit-Nr.: 1505692
