Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Practical Formal Methods for Hardware Design

Name: Practical Formal Methods for Hardware Design
Brand: Springer, Berlin
SKU: 06809562
Price: 21304 HUF
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

145 b

21 304 Ft

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

30-day return policy

Customers also purchased

Student Edition Chapter 5 Grade 1 2015 Houghton Mifflin Harcourt

Paperback

4 285 Ft

Buchstaben schreiben lernen und üben

Paperback

2 860 Ft

Wallensteintage in Stralsund 2022 Fremdenführer Oktan Palkowitsch

Paperback

7 001 Ft

Les métiers des technologies de l'information GINIES

Paperback

7 691 Ft

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

Paperback

6 867 Ft

Giù la maschera Erika Torre

Paperback

5 002 Ft

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

Paperback

3 549 Ft

LA LÓGICA DE HEGEL EDGAR MARAGUAT

Paperback

7 191 Ft

Manual Washington de medicina interna hospitalaria Thomas Ciesielski

Paperback

26 251 Ft

Paiement Pour Les Services Environnementaux En Centrafrique Ngombala Samba Zanre

Paperback

10 097 Ft

Asci-Mi David Sarramia

Paperback

36 583 Ft

Dissexualitat im Lebenslangsschnitt Klaus M. Beier

Paperback

27 893 Ft

Mittsommernachtstexte Kurt Lehmkuhl

Hardback

6 645 Ft

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

Hardback

30 975 Ft

Chinesische Zungendiagnose aus einer anderen Perspektive Gaetano Cammilleri

Hardback

27 324 Ft

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.