Formal methods for industrial critical systems 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers

Saved in:
Bibliographic Details
Corporate Author International Workshop on Formal Methods for Industrial Critical Systems Berlin, Germany
Other Authors Leue, Stefan, 1962- (Editor), Merino, Pedro (Editor)
Format Book
LanguageEnglish
Published Berlin ; New York : Springer, c2008
SeriesLecture notes in computer science
LNCS sublibrary. Programming and software engineering
Subjects
softwarové inženýrství
programování
testování softwaru
elektronické knihy
Online AccessFull text
ISBN9783540797067
ISSN0302-9743 ;
DOI10.1007/978-3-540-79707-4
Physical Descriptionx, 250 s. : il.

Cover

More Information
Format:Způsob přístupu: WWW
Bibliography:Obsahuje bibliografii a rejstřík.
ISBN:9783540797067
ISSN:0302-9743 ;
DOI:10.1007/978-3-540-79707-4
Physical Description:x, 250 s. : il.

Similar Items