Treffer: Formal Methods and Software Engineering

Titel:

Formal Methods and Software Engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings / edited by Kung-Kiu Lau, Richard Banach

Beteiligt:

Lau, Kung-Kiu (Herausgeber); Banach, Richard (Herausgeber)

Ausgabe:

1st ed. 2005

Veröffentlicht:

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

Vertrieb:

Cham : Springer International Publishing AG

Umfang:

1 Online-Ressource (XIV, 502 Seiten)

Format:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Programming and Software Engineering, ISSN 2945-9168 ; 3785

Andere Ausgaben:

Erscheint auch als Druck-Ausgabe: Formal Methods and Software Engineering. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - ISBN 9783540297970

RVK-Notation:

SS 4000

Schlagworte:

ISBN:

9783540322504 ; 3540322507 ; --354029797-9 ; --354081740-9 ; 978--354029797-0 (Sekundärausgabe) ; 978--354081740-6 (Sekundärausgabe)

DOI:

10.1007/11576280

Treffer: Formal Methods and Software Engineering

Zusatz-Informationen

Zusatz-Funktionen