Hoofdkenmerken
Auteur:
Steffen, Bernhard
Redactie:
Steffen, Bernhard
Titel:
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20â30, 2020, Proceedings, Part IV
Uitgever:
Springer Nature Switzerland AG
ISBN:
9783030837228
ISBN boekversie:
9783030837235
Serie:
Lecture Notes in Computer Science
Editie:
1st ed. 2021
Land van oorsprong:
Switzerland
Prijs:
€ 67.04
Verschijningsdatum:
05-08-2021
Bericht:
Langere levertijd (2-3 weken)
Inhoudelijke kenmerken
Categorie:
Software Engineering
Geillustreerd:
72 Illustrations, color; 17 Illustrations, black and white
Technische kenmerken
Verschijningsvorm:
Paperback / softback
Paginas:
265
Hoogte mm.:
235
Breedte mm.:
155
Inhoud: The four-volume set LNCS 12476 - 12479 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20â30, 2020, on Rhodes, Greece.
nl
en
