Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Practical Formal Methods for Hardware Design

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

Werner Damm

Carlos Delgado Kloos

Sprache

Englisch

Buch Broschur

Libristo-Code: 06809562

Verlag Springer, Berlin, November 2012

Formal methods for hardware design still find limited use in industry. Yet current practice has to c... Vollständige Beschreibung

Libristo-Code: 06809562

148 b

60.39 € inkl. MwSt.

Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Student Edition Chapter 5 Grade 1 2015 Houghton Mifflin Harcourt

Broschur

11.59 €

Buchstaben schreiben lernen und üben

Broschur

7.99 €

Wallensteintage in Stralsund 2022 Fremdenführer Oktan Palkowitsch

Broschur

19.99 €

Les métiers des technologies de l'information GINIES

Broschur

22.29 €

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

Broschur

19.89 €

Giù la maschera Erika Torre

Broschur

14.59 €

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

Broschur

10.29 €

LA LÓGICA DE HEGEL EDGAR MARAGUAT

Broschur

20.99 €

Manual Washington de medicina interna hospitalaria Thomas Ciesielski

Broschur

75.99 €

Paiement Pour Les Services Environnementaux En Centrafrique Ngombala Samba Zanre

Broschur

27.19 €

Asci-Mi David Sarramia

Broschur

98.59 €

Dissexualitat im Lebenslangsschnitt Klaus M. Beier

Broschur

75.29 €

Mittsommernachtstexte Kurt Lehmkuhl

Hardcover

18.99 €

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

Hardcover

85.00 €

Chinesische Zungendiagnose aus einer anderen Perspektive Gaetano Cammilleri

Hardcover

79.00 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Practical Formal Methods for Hardware Design

Autor Werner Damm, Carlos Delgado Kloos

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2012

Anzahl der Seiten 293

EAN 9783540620075

ISBN 3540620079

Libristo-Code 06809562

Verlag Springer, Berlin

Gewicht 469

Abmessungen 155 x 235 x 16

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

EDV und Informationstechnologie > Datenbanken > Verteilte Datenbanken

EDV und Informationstechnologie > Informatik > Systemanalyse und -design

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Computernetzwerke und maschinelle Kommunikation

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert