Bestellen Terug

Hoofdkenmerken

Auteur:	Sun, Jun
Redactie:	Sun, Jun
Titel:	FM 2014: Formal Methods 19th International Symposium,
Uitgever:	Springer International
ISBN:	9783319064093
ISBN boekversie:	9783319064109
Serie:	Programming and Software
Editie:	2014 ed.
Land van oorsprong:	Switzerland
Prijs:	€ 113.13
Verschijningsdatum:	26-03-2014
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Leesniveau:	Professional & Vocational
Categorie:	Information architecture
Geillustreerd:	185 Illustrations, black and white; XVIII, 750 p. 185 illus.
Dewey code:	004.0151

Technische kenmerken

Verschijningsvorm:	Paperback / softback
Paginas:	750
Hoogte mm.:	235
Breedte mm.:	155
Gewicht gr.:	1157

 

Inhoud:

The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.