VU Boekhandel

Formal Methods in Computer-Aided Design 4th International Conference,

Hoofdkenmerken

Auteur:	O'Leary, John W.
Redactie:	O'Leary, John W.
Titel:	Formal Methods in Computer-Aided Design 4th International Conference,
Uitgever:	Springer-Verlag Berlin and
ISBN:	9783540001164
ISBN boekversie:	9783540361268
Serie:	Lecture Notes in Computer
Editie:	2002 ed.
Land van oorsprong:	Germany
Prijs:	€ 113.80
Verschijningsdatum:	23-10-2002
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Leesniveau:	Postgraduate, Research & Scholarly
Categorie:	Computer-aided design (CAD)
Geillustreerd:	XII, 408 p.

Technische kenmerken

Verschijningsvorm:	Paperback / softback
Paginas:	408
Hoogte mm.:	235
Breedte mm.:	155
Gewicht gr.:	1290

Inhoud:

This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of using - screte mathematical modeling and veri?cation.