Hoofdkenmerken
Auteur:
Steffen, Bernhard
Redactie:
Steffen, Bernhard
Titel:
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20â30, 2020, Proceedings, Part II
Uitgever:
Springer Nature Switzerland AG
ISBN:
9783030614690
ISBN boekversie:
9783030614706
Serie:
Theoretical Computer Science and General Issues
Editie:
1st ed. 2020
Land van oorsprong:
Switzerland
Prijs:
€ 67.04
Verschijningsdatum:
27-10-2020
Bericht:
Langere levertijd (2-3 weken)
Inhoudelijke kenmerken
Categorie:
Artificial intelligence
Geillustreerd:
658 Illustrations, color; 133 Illustrations, black and white; XV, 544 p. 791 illus., 658 illus. in color.
Technische kenmerken
Verschijningsvorm:
Paperback / softback
Paginas:
544
Hoogte mm.:
235
Breedte mm.:
155
Inhoud: The three-volume set LNCS 12476 - 12478 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
