Bestellen Terug

Hoofdkenmerken

Auteur:	Steffen, Bernhard
Redactie:	Steffen, Bernhard
Titel:	Leveraging Applications of Formal Methods, Verification and Validation: Applications 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III
Uitgever:	Springer Nature Switzerland AG
ISBN:	9783030614669
ISBN boekversie:	9783030614676
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:	Expert systems / knowledge-based systems
Geillustreerd:	83 Illustrations, color; 757 Illustrations, black and white; XV, 490 p. 840 illus., 83 illus. in color.

Technische kenmerken

Verschijningsvorm:	Paperback / softback
Paginas:	490
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.