Hoofdkenmerken
Auteur:
Steffen, Bernhard
Redactie:
Steffen, Bernhard
Titel:
Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, I
Uitgever:
Springer Nature Switzerland AG
ISBN:
9783030034177
ISBN boekversie:
9783030034184
Serie:
Theoretical Computer Science
Editie:
1st ed. 2018
Land van oorsprong:
Switzerland
Prijs:
€ 93.16
Verschijningsdatum:
29-10-2018
Bericht:
Langere levertijd (2-3 weken)
Inhoudelijke kenmerken
Leesniveau:
Professional & Vocational
Categorie:
Software testing & verification
Geillustreerd:
136 Illustrations, color; 93 Illustrations, black and white; XV, 588 p. 229 illus., 136 illus. in color.
Technische kenmerken
Verschijningsvorm:
Paperback / softback
Paginas:
588
Hoogte mm.:
235
Breedte mm.:
155
Gewicht gr.:
914
Inhoud: The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.
nl
en
