Description: Formal methods for industrial critical systems

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:	eBook
Language:	English
Published:	Berlin ; New York : Springer, c2008
Series:	Lecture notes in computer science LNCS sublibrary. Programming and software engineering
Subjects:	softwarové inženýrství programování testování softwaru elektronické knihy
ISBN:	9783540797067
Physical Description:	x, 250 s. : il.

Description
Format:	Způsob přístupu: WWW
Bibliography:	Obsahuje bibliografii a rejstřík.
ISBN:	9783540797067
ISSN:	0302-9743 ;