Leveraging Applications of Formal Methods, Verification and Validation
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15,2008, Proceedings, Communications in Computer and Information Science 17
Tiziana Margaria/Bernhard Steffen
€160.49
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 14.10.2008
Umfang: xiv, 869 S.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783540884781
Umbreit-Nr.: 4380292
