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

Saved in:
Corporate Author: SpringerLink (online služba)
Other Authors: Margaria, Tiziana (Editor), Steffen, Bernhard (Editor)
Format: eBook
Language:English
Published: Berlin ; Heidelberg : Springer Berlin Heidelberg, 2010
Series:Lecture Notes in Computer Science
Genre/form:elektronické knihy
ISBN:978-3-642-16561-0
9783642165603
Subjects:
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

Get full text
Status Sublibrary Description Location LCC Callnumber Old Callnumber