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: 21382 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 382 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 301 Ft

Giù la maschera Erika Torre

Paperback

5 039 Ft

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

Paperback

7 292 Ft

Wallensteintage in Stralsund 2022 Fremdenführer Oktan Palkowitsch

Paperback

7 027 Ft

Buchstaben schreiben lernen und üben

Paperback

2 870 Ft

Les métiers des technologies de l'information GINIES

Paperback

7 719 Ft

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

Paperback

6 892 Ft

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

Paperback

3 079 Ft

Chinesische Zungendiagnose aus einer anderen Perspektive Gaetano Cammilleri

Hardback

27 425 Ft

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

Paperback

3 562 Ft

LA LÓGICA DE HEGEL EDGAR MARAGUAT

Paperback

7 217 Ft

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

Hardback

31 089 Ft

Mittsommernachtstexte Kurt Lehmkuhl

Hardback

6 669 Ft

Manual Washington de medicina interna hospitalaria Thomas Ciesielski

Paperback

26 347 Ft

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

Audio CD

2 531 Ft

Paiement Pour Les Services Environnementaux En Centrafrique Ngombala Samba Zanre

Paperback

10 134 Ft

Asci-Mi David Sarramia

Paperback

36 718 Ft

Dissexualitat im Lebenslangsschnitt Klaus M. Beier

Paperback

27 996 Ft

Controlling verschiedener Supply Chain Typen Katharina Kachler

Paperback

17 806 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.