Treffer: Formal Methods: Applications and Technology

Titel:

Formal Methods: Applications and Technology : 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected / edited by Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol

Beteiligt:

Brim, Lubos (Herausgeber); Haverkort, Boudewijn (Herausgeber); Leucker, Martin (Herausgeber); Pol, Jaco van de (Herausgeber)

Ausgabe:

1st ed. 2007

Veröffentlicht:

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

Vertrieb:

Cham : Springer International Publishing AG

Umfang:

1 Online-Ressource (X, 366 Seiten)

Format:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Programming and Software Engineering, ISSN 2945-9168 ; 4346

Andere Ausgaben:

Erscheint auch als Druck-Ausgabe: Formal Methods: Applications and Technology. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - ISBN 9783540709510

RVK-Notation:

SS 4000

Schlagworte:

ISBN:

9783540709527 ; 3540709525 ; 978--354070951-0 (Sekundärausgabe) ; 978--354083556-1 (Sekundärausgabe)

DOI:

10.1007/978-3-540-70952-7

Treffer: Formal Methods: Applications and Technology

Zusatz-Informationen

Zusatz-Funktionen