Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies
Subtitle: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
By: edited by Tiziana Margaria, Bernhard Steffen
Contributors: Steffen, Bernhard; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7610
Publisher: Springer Berlin Heidelberg; Imprint: Springer
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642340321
Subjects: Software engineering; Artificial intelligence; Logic design; Logics and Meanings of Programs; Computation by Abstract Devices; Computer science; Programming Languages, Compilers, Interpreters; Operating systems (Computers); Operating Systems; Artificial Intelligence (incl. Robotics)