Formal Methods in Computer-Aided Design

Name: Formal Methods in Computer-Aided Design
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540237389
Price: 277.38 RON
Availability: InStock

5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings

Autor: Alan J. Hu, Andrew K. Martin

Limbă:

Legare: Carte broșată

Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

277.38 lei

This book constitutes the refereed proceedings of the 5th International Conference on Formal Methods...

Informații despre carte

Autor

Alan J. Hu, Andrew K. Martin

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2004

Pagini

448

EAN

9783540237389

ISBN

3540237380

Enbook ID

01560042

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

1430

Dimensiuni

155 x 235 x 25

Descriere completă

This book constitutes the refereed proceedings of the 5th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2004, held in Austin, Texas, USA in November 2004.§The 29 revised full papers presented together with the abstract of an invited talk were carefully reviewed and selected from 69 submissions. The papers address all current issues on tools, methods, algorithms, and foundational theory for the application of formalized reasoning to all aspects of computer-aided systems design, including specification, verification, synthesis, and testing.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Formal Methods in Computer-Aided Design

5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și