Leveraging Applications of Formal Methods, Verification and Validation
5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18,2012, Proceedings, Part II, Lecture Notes in Computer Science 7610 - Theoretical Computer Science and General Issues
Tiziana Margaria/Bernhard Steffen
€53.49
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 11.09.2012
Umfang: xvi, 361 S., 129 s/w Illustr., 361 p. 129 illus.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783642340314
Umbreit-Nr.: 4005350
