Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 11.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Formal Methods in Computer-Aided Design

Name: Formal Methods in Computer-Aided Design
Brand: Springer, Berlin
SKU: 01563129
Price: 114.62 EUR
Availability: InStock
Author: Warren A. Hunt
ISBN: 9783540412199

Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings

Warren A. Hunt

Steven D. Johnson

Language

English

Book Paperback

Libristo code: 01563129

Publishers Springer, Berlin, November 1999

This book constitutes the refereed proceedings of the Third International Conference on Formal Metho... Full description

Libristo code: 01563129

277 b

114.62 €

Low in stock at our supplier Shipping in 11-15 days

30-day return policy

Customers also purchased

JOHANN MATTHESON: EL PERFECTO MAESTRO DE CAPILLA (HAMBURGO, MATTHESON

Book

90.72 €

DIE FREIMAUREREI IHREN ANHÄNGERN VERSTÄNDLICH GEMACHT - BAND 3: DER MEISTER. Bd.3 Oswald Wirth

Paperback

12.75 €

Hörfunk-Nachrichten - ihre Auswahl, Zusammenstellung und Präsentation Anja Engel

Paperback

16.19 €

Dinosaurios y criaturas prehistóricas EMILY HAWKINS

Hardback

32.80 €

Festschrift für Hans-Heinrich Jescheck zum 70. Geburtstag. Theo Vogler

Hardback

232.28 €

Denken. Aufrütteln. Gestalten. Life is a Story - story.one Matthias Strolz

Hardback

18.01 €

Comment peut-on être Berbère ? - Amnésie, renaissance, soulèvement - Livre collegium

Paperback

32.19 €

Kinderhospizarbeit Sven Jennessen

Adobe ePub DRM

31.89 €

Broste copenhagen Milchkrug Nordic Sand Game/Toy

Toy

48.09 €

BACK Green

Paperback

25.31 €

Une breve histoire de la philosophie Droit

Paperback

13.15 €

Contribution à la maintenance à base des réseaux de Pétri flous Feres Ben Saad

Paperback

50.92 €

Loi sur les armes ? feu (Canada) - Edition 2018 La Bibliotheque Juridique

Paperback

14.77 €

Die Kopplung von Wissenschaft und Wirtschaft Thomas Heinze

Paperback

45.25 €

Julius Caesar William Shakespeare

Book

7.79 €

Abwehr wirtschaftskrimineller Handlungen in Kreditinstituten

Paperback

35.43 €

Como contar historias sobre desastres? Martins Mario

Paperback

29.86 €

This book constitutes the refereed proceedings of the Third International Conference on Formal Methods in Computer-Aided Design, FMCAD 2000, held in Austin, Texas in November 2000.The 30 revised full papers presented together with two invited contributions were carefully reviewed and selected from 63 submissions. All current issues of research and development approaches based on formal methods for the design and analysis of systems are addressed. Among the topics covered are formal verification, formal specification, systems analysis, program analysis, model checking, automated modeling, program semantics, theorem proving, symbolic simulation, and transition systems.