Hoofdkenmerken
Auteur:
Schulte, Wolfram
Redactie:
Schulte, Wolfram
Titel:
FM 2011: Formal Methods 17th International Symposium o
Uitgever:
Springer-Verlag Berlin and
ISBN:
9783642214363
ISBN boekversie:
9783642214370
Serie:
Programming and Software
Land van oorsprong:
Germany
Prijs:
€ 95.83
Verschijningsdatum:
06-06-2011
Bericht:
Langere levertijd (2-3 weken)
Inhoudelijke kenmerken
Leesniveau:
Professional & Vocational
Categorie:
Information architecture
Geillustreerd:
27 Illustrations, color; 83 Illustrations, black and white; XIV, 450 p. 110 illus., 27 illus. in color.
Dewey code:
004.0151
Technische kenmerken
Verschijningsvorm:
Paperback / softback
Paginas:
450
Hoogte mm.:
235
Breedte mm.:
155
Inhoud:
This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011.