Hoofdkenmerken
Auteur:
Tinelli, Cesare
Redactie:
Tinelli, Cesare
Titel:
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory
Uitgever:
Springer-Verlag Berlin and
ISBN:
9783662466803
ISBN boekversie:
9783662466810
Serie:
Lecture Notes in Computer
Editie:
2015 ed.
Land van oorsprong:
Germany
Prijs:
€ 93.16
Verschijningsdatum:
31-03-2015
Bericht:
Langere levertijd (2-3 weken)
Inhoudelijke kenmerken
Leesniveau:
Professional & Vocational
Categorie:
Software Engineering
Geillustreerd:
210 Illustrations, black and white; XVIII, 725 p. 210 illus.
Technische kenmerken
Verschijningsvorm:
Paperback / softback
Paginas:
725
Hoogte mm.:
235
Breedte mm.:
155
Inhoud: The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular tool papers and 9 tool demonstration papers, were carefully reviewed and selected from 164 submissions.
nl
en
