Cover Image

Integrated formal methods : 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings /

Bibliographic Details
Corporate Author: International Conference on Integrated Formal Methods Nancy, France
Other Authors: Merz, Stephan, Méry, Dominique
Format: Conference Proceeding eBook
Language:English
Published: Berlin : Springer, 2010.
Series:LNCS sublibrary. Programming and software engineering.
Lecture notes in computer science ; 6396.
Subjects:
Formal methods (Computer science) > Congresses.
System design > Congresses.
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Item Description:Electronic resource.
Physical Description:1 online resource (x, 335 pages) : illustrations
Bibliography:Includes bibliographical references and index.
ISBN:3642162657
9783642162657
ISSN:0302-9743 ;
DOI:10.1007/978-3-642-16265-7