Bestellen Terug

Hoofdkenmerken

Auteur:	de Roever, Willem-Paul
Redactie:	de Roever, Willem-Paul
Titel:	Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised
Uitgever:	Springer-Verlag Berlin and
ISBN:	9783540291312
ISBN boekversie:	9783540319399
Serie:	Programming and Software
Editie:	2005 ed.
Land van oorsprong:	Germany
Prijs:	€ 71.26
Verschijningsdatum:	19-09-2005
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Leesniveau:	Professional & Vocational
Categorie:	Computer programming / software development
Geillustreerd:	VIII, 328 p.

Technische kenmerken

Verschijningsvorm:	Paperback / softback
Paginas:	328
Hoogte mm.:	235
Breedte mm.:	155
Gewicht gr.:	1050

 

Inhoud:

The 14 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to large and complex software systems such as component-based systems and object systems.