Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen.
Konto kostenlos anlegen
Österreichische Post 5.49 €
GLS-Kurier 4.99 €
DPD-Kurier 4.49 €
DPD-Stelle 3.49 €
Kontakt
Wie einkaufen
Hilfe
Versand
Österreichische Post 5.49 €
GLS-Kurier 4.99 €
DPD-Kurier 4.49 €
DPD-Stelle 3.49 €
Kaufberater
Mein Konto
▸
Leer :-(
0
Formal Methods for Hardware Verification
6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures
Sprache
Englisch
Englisch
Buch
Broschur
This book presents 8 papers accompanying the lectures of leading researchers given at the 6th editio...
Vollständige Beschreibung
Libristo-Code: 01562083
?
122 b
122 b
49.99
€
inkl. MwSt.
Externes Lager in kleiner Menge
Wir versenden in 13-18 Tagen
Bis zu 30 Tage Rückgaberecht
Kunden kauften auch
/
Broschur
13.59
€
/
Broschur
20.49
€
This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006). SFM 2006 was devoted to formal techniques for hardware verification and covers several aspects of the hardware design process, including hardware design languages and simulation, property specification formalisms, automatic test pattern generation, symbolic trajectory evaluation, and more.
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
Formal Methods for Hardware Verification
Autor
Marco Bernardo, Alessandro Cimatti
Sprache
Englisch
Englisch
Einband
Buch - Broschur
Datum der Veröffentlichung
2006
Anzahl der Seiten
244
EAN
9783540343042
ISBN
3540343040
Libristo-Code
01562083
Gewicht
800
Abmessungen
155 x 235 x 17
Kategorie
EDV und Informationstechnologie
>
Informatik
>
Künstliche Intelligenz
>
Wissensbasierte Systeme, Expertensysteme
EDV und Informationstechnologie
>
Computerprogrammierung und Softwareentwicklung
>
Compiler und Übersetzer
EDV und Informationstechnologie
>
Computerprogrammierung und Softwareentwicklung
>
Programmier- und Skriptsprachen, allgemein
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 geliefertDas könnte Sie auch interessieren
/
Broschur
37.09
€
/
Broschur
13.19
€
/
Broschur
16.19
€
