Free delivery for orders over 69.99 euro.

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

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Practical Formal Methods for Hardware Design

Name: Practical Formal Methods for Hardware Design
Brand: Springer, Berlin
SKU: 06809562
Price: 58.59 EUR
Availability: InStock
Author: Werner Damm
ISBN: 9783540620075

Werner Damm

Carlos Delgado Kloos

Language

English

Book Paperback

Libristo code: 06809562

Publishers Springer, Berlin, November 2012

Formal methods for hardware design still find limited use in industry. Yet current practice has to c... Full description

Libristo code: 06809562

141 b

58.59 €

Low in stock at our supplier Shipping in 13-18 days

Up to 30 days for returns

Customers also purchased

Student Edition Chapter 5 Grade 1 2015 Houghton Mifflin Harcourt

Paperback

11.24 €

Chinesische Zungendiagnose aus einer anderen Perspektive Gaetano Cammilleri

Hardback

70.45 €

Niebla Karlsson

Paperback

25.34 €

LA LÓGICA DE HEGEL EDGAR MARAGUAT

Paperback

20.37 €

?Por que hay gente esperando otra pandemia? Garcia Isaac Garcia

Paperback

18.95 €

Vibrazione Finanziaria: Attirare la ricchezza con la frequenza della mente Mentes Libres

Paperback

9.42 €

Wallensteintage in Stralsund 2022 Fremdenführer Oktan Palkowitsch

Paperback

18.04 €

Giù la maschera Erika Torre

Paperback

13.88 €

balance of gold in the Arab poetry industry Ahmed Al Hashemi

Adobe ePub DRM

16.52 €

Les métiers des technologies de l'information GINIES

Paperback

21.38 €

Apprendre à comprendre dès l'école maternelle GFEN

Paperback

19.05 €

Fizyka 2. Szkoła ponadpodstawowa. Karty pracy ucznia. Zakres podstawowy Anna Dobosz

Paperback

9.72 €

Grundzüge der Agrargeschichte (Band 1-3); . Stefan Brakensiek

Hardback

84.95 €

La aventura de los números 2 Díez Torío Ana María

Paperback

10.03 €

Mittsommernachtstexte Kurt Lehmkuhl

Hardback

17.23 €

Manual Washington de medicina interna hospitalaria Thomas Ciesielski

Paperback

74.10 €

Vánoce Smolíka McFiggina a jiné povídky Stephen Leacock

Audio CD

7.70 €

Paiement Pour Les Services Environnementaux En Centrafrique Ngombala Samba Zanre

Paperback

26.05 €

Asci-Mi David Sarramia

Paperback

94.38 €

Dissexualitat im Lebenslangsschnitt Klaus M. Beier

Paperback

72.48 €

Controlling verschiedener Supply Chain Typen Katharina Kachler

Paperback

49.97 €

Formal methods for hardware design still find limited use in industry. Yet current practice has to change to cope with decreasing design times and increasing quality requirements. This research report presents results from the Esprit project FORMAT (formal methods in hardware verification) which involved the collaboration of the enterprises Siemens, Italtel, Telefonica I+D, TGI, and AHL, the research institute OFFIS, and the universities of Madrid and Passau. The work presented involves advanced specification languages for hardware design that are intuitive to the designer, like timing diagrams and state based languages, as well as their relation to VHDL and formal languages like temporal logic and a process-algebraic calculus. The results of experimental tests of the tools are also presented.