Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!

Treffer: Formal Methods

Titel:
Formal Methods : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings / edited by Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink
Beteiligt:
Havelund, Klaus (Herausgeber); Peleska, Jan (Herausgeber); Roscoe, Bill (Herausgeber); de Vink, Erik (Herausgeber)
Ausgabe:
1st ed. 2018
Veröffent­licht:
Cham : Springer International Publishing, 2018
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XIV, 692 Seiten) : 131 illus.
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 10951
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Formal Methods. - Cham : Springer International Publishing, 2018. - ISBN 9783319955810
ISBN:
9783319955827 ; 3319955829 ; 978--331995581-0 (Sekundärausgabe) ; 978--331995583-4 (Sekundärausgabe)
DOI:
10.1007/978-3-319-95582-7

Zusatz-Informationen

Zusatz-Funktionen