• Integrated Formal Methods
  • Mehr Informationen

Treffer: Integrated Formal Methods

Titel:
Integrated Formal Methods : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings / edited by Judi M.T. Romijn, Graeme P. Smith, Jaco C. van de Pol
Verantwortlich:
Romijn, Judi M.T (Herausgeber); Smith, Graeme P (Herausgeber); van de Pol, Jaco C (Herausgeber)
Ausgabe:
1st ed. 2005
Veröffent­licht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XI, 407 Seiten)
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 3771
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Integrated Formal Methods. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - ISBN 9783540304920
RVK-Notation:
SS 4000
Schlagworte:
ISBN:
9783540322405 ; 354032240X ; --354030492-4 ; --354081811-1 ; 978--354030492-0 (Sekundärausgabe) ; 978--354081811-3 (Sekundärausgabe)
DOI:
10.1007/11589976

Zusatz-Informationen

Zusatz-Funktionen