Bestellen Terug

Hoofdkenmerken

Auteur:	de Roever, Willem-Paul
Co Auteur:	Willem-Paul de Roever
Redactie:	de Roever, Willem-Paul
Titel:	Formal Methods for Components and Objects 5th International Symposium, F
Uitgever:	Springer-Verlag Berlin and
ISBN:	9783540747918
ISBN boekversie:	9783540747925
Serie:	Programming and Software
Editie:	2007 ed.
Land van oorsprong:	Germany
Prijs:	€ 71,26
Verschijningsdatum:	18-12-2007
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Leesniveau:	Professional & Vocational
Categorie:	Computer programming / software development
Geillustreerd:	VIII, 300 p.
Dewey code:	005.446

Technische kenmerken

Verschijningsvorm:	Paperback / softback
Paginas:	300
Hoogte mm.:	235
Breedte mm.:	155
Gewicht gr.:	474

 

Inhoud:

This book presents 12 revised lectures given by top-researchers at the 5th International Symposium on Formal Methods for Components and Objects, FMCO 2006, held in Amsterdam, Netherlands in November 2006.