Bestellen Terug

Hoofdkenmerken

Auteur:	Astarte, Troy
Redactie:	Astarte, Troy
Titel:	Formal Methods. FM 2019 International Workshops Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I
Uitgever:	Springer Nature Switzerland AG
ISBN:	9783030549930
ISBN boekversie:	9783030549947
Serie:	Lecture Notes in Computer Science
Editie:	1st ed. 2020
Land van oorsprong:	Switzerland
Prijs:	€ 67.04
Verschijningsdatum:	13-08-2020
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Categorie:	Expert systems / knowledge-based systems
Geillustreerd:	98 Illustrations, color; 300 Illustrations, black and white

Technische kenmerken

Verschijningsvorm:	Paperback / softback
Paginas:	523
Hoogte mm.:	235
Breedte mm.:	155

 

Inhoud:

This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019;