Leveraging Applications of Formal Methods, Verification and Validation
5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18,2012, Proceedings, Part I, Lecture Notes in Computer Science 7609 - 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, 617 S., 170 s/w Illustr., 617 p. 170 illus.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783642340253
Umbreit-Nr.: 4005363
