Hoofdkenmerken
Auteur:
Steffen, Bernhard
Redactie:
Steffen, Bernhard
Titel:
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Uitgever:
Springer-Verlag Berlin and
ISBN:
9783662452332
ISBN boekversie:
9783662452349
Serie:
Theoretical Computer Science
Editie:
2014 ed.
Land van oorsprong:
Germany
Prijs:
€ 86.50
Verschijningsdatum:
23-09-2014
Bericht:
Langere levertijd (2-3 weken)
Inhoudelijke kenmerken
Leesniveau:
Professional & Vocational
Categorie:
Artificial intelligence
Geillustreerd:
139 Illustrations, black and white; XVIII, 547 p. 139 illus.
Technische kenmerken
Verschijningsvorm:
Paperback / softback
Paginas:
547
Hoogte mm.:
235
Breedte mm.:
155
Gewicht gr.:
8482
Inhoud: The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014.
nl
en
