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 II, Lecture Notes in Computer Science 6416 - Theoretical Computer Science and General Issues
Tiziana Margaria/Bernhard Steffen
€53.49
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 19.10.2010
Umfang: xv, 498 S., 157 s/w Illustr., 498 p. 157 illus.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783642165603
Umbreit-Nr.: 9517967