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

Leveraging Applications of Formal Methods : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

Saved in:
Bibliographic Details
Other Authors: Margaria, Tiziana (Editor)
Steffen, Bernhard (Editor)
Corporate Author: SpringerLink (online služba)  
Format: eBook
Language:English
Published: Berlin ; Heidelberg : Springer Berlin Heidelberg, 2006
Series:Lecture Notes in Computer Science
Genre/form:elektronické knihy
ISBN:978-3-540-48929-0
9783540489283
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