Cite this
Email this
Export Record
Save to List
Order a print copy

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:
Bibliographic Details
Other Authors: Margaria-Steffen, Tiziana, 1964- (Editor) 
Steffen, Bernhard, 1958- (Editor) 
Corporate Author: SpringerLink (online služba) (Distributor) 
Conference: ISoLA 2010 (Herákleion, Řecko)
Format: eBook
Language:English
Published: Berlin ; Heidelberg ; New York : Springer, 2010
Series:Lecture notes in computer science
Genre/form:elektronické knihy
sborníky konferencí
ISBN:978-3-642-16561-0
978-3-642-16560-3
3-642-16560-5
Subjects:
Online Access:Plný text
Tags: Add Tag
No Tags, Be the first to tag this record!
Cover Image

Internet

Plný text
Status Sublibrary Description Location LCC Call number Old Call number