• Formal Methods
  • *Holdings*

*Result*: Formal Methods

*Title*:
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
*Author/editor-in-chief*:
Havelund, Klaus (Herausgeber); Peleska, Jan (Herausgeber); Roscoe, Bill (Herausgeber); de Vink, Erik (Herausgeber)
*Edition*:
1st ed. 2018
*Publication*:
Cham : Springer International Publishing, 2018
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (XIV, 692 Seiten) : 131 illus.
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Programming and Software Engineering, ISSN 2945-9168 ; 10951
*Other edition entry*:
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

*Additional information*

*Additional functions*