Leveraging Applications of Formal Methods, Verification, and Validation
4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,2010, Proceedings, Part I, Lecture Notes in Computer Science 6415 - Theoretical Computer Science and General Issues
Tiziana Margaria/Bernhard Steffen
€106.99
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 19.10.2010
Umfang: xx, 708 S., 220 s/w Illustr., 708 p. 220 illus.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783642165573
Umbreit-Nr.: 9517985
