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

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

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: 107.29 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

263 b

107.29 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

30-day return policy

Customers also purchased

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

Book

92.99 €

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

Hardback

18.79 €

Dinosaurios y criaturas prehistóricas EMILY HAWKINS

Hardback

33.69 €

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

Paperback

33.19 €

Julius Caesar William Shakespeare

Book

8.19 €

Kinderhospizarbeit Sven Jennessen

Adobe ePub DRM

33.09 €

Broste copenhagen Milchkrug Nordic Sand Game/Toy

Toy

49.99 €

BACK Green

Paperback

25.99 €

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

Paperback

46.59 €

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

Paperback

15.29 €

Die Kopplung von Wissenschaft und Wirtschaft Thomas Heinze

Paperback

46.89 €

Abwehr wirtschaftskrimineller Handlungen in Kreditinstituten

Paperback

36.79 €

Como contar historias sobre desastres? Martins Mario

Paperback

27.09 €

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

Paperback

14.95 €

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

Paperback

17.95 €

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

Hardback

240.79 €

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.