Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.99 €
phone Kontakt phoneWie einkaufen

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 EnglischEnglisch
Buch Broschur
Buch Formal Methods for Hardware Verification Marco Bernardo
Libristo-Code: 01562083
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Mai 2006
This book presents 8 papers accompanying the lectures of leading researchers given at the 6th editio... Vollständige Beschreibung
? points 141 b
58.39 €
Externes Lager in kleiner Menge Wir versenden in 11-15 Tagen
Griechenland Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

The Autumn Stone Small Faces Audio Audio CD
common.buy 21.91 €
MARIA-MERCE MARÇAL. PETITS POEMES MARÇAL / Buch Hardcover
common.buy 15.95 €
Intelektuálové a masy John Carey / Buch Broschur
common.buy 14.44 €
Pioneiras da ciencia en Galicia MANUEL REY PAN / Buch Broschur
common.buy 26.76 €
Chiaroscuro. Interpretazione di un delitto Simone Carbone / Buch Broschur
common.buy 20.50 €
L'oracle des échos oniriques Luna Ravenheart / Buch Broschur
common.buy 30.91 €
Chants du cauchemar et de la nuit Ligotti / Buch Broschur
common.buy 12.72 €
Christiana Albertina Präsidium der Christian-Albrechts-Universität zu Kiel / Buch Broschur
common.buy 25.85 €
ALLENDE Y EL MUSEO DEL SUICIDIO DORFMAN / Buch Broschur
common.buy 27.27 €
Innover avec les acteurs du monde rural Hocdé / Buch Broschur
common.buy 31.41 €
Alí i Ramboline VALENTI GUBIANAS / Buch Hardcover
common.buy 15.04 €
La correspondencia de Benito Arias Montano con el presidente de Indias Juan de Ovando Baldomero Macías Rosendo / Buch Broschur
common.buy 25.35 €
Grundfragen der Anstiftung. Marios Nikolidakis / Buch Broschur
common.buy 74.45 €
Wie der König seinen Feind verlor Jorge Bucay / Buch Hardcover
common.buy 13.12 €
Gormenghast. Band 2 Mervyn Peake / Buch Hardcover
common.buy 19.39 €
Herrschaftsorganisation und Herrschaftspraxis im anglonormannischen Reich unter Wilhelm I. Joachim von Meien / Buch Broschur
common.buy 16.16 €
Finale in Sudafrika Stephanie Howe / Buch Broschur
common.buy 17.87 €
2984 Utta Kaiser-Plessow / Buch Broschur
common.buy 10.90 €
Zahlen fur ein erfolgreiches Business Grigori Grabovoi / Buch Broschur
common.buy 40.00 €
Vaillants Soldats Desplantes-F / Buch Broschur
common.buy 20.20 €
Poeta En Nueva York Federico García Lorca / Buch Broschur
common.buy 11.91 €
Unas tardes con Shakespeare Praz / Buch Broschur
common.buy 22.52 €
Будапэшт Kolozsvári Ildikó / Buch Blatt
common.buy 8.78 €
99 Sayfada Tüp Bebek Bülent Gülekli / Buch Broschur
common.buy 8.17 €

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
Ewa Kasp
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
Einband Buch - Broschur
Datum der Veröffentlichung 2006
Anzahl der Seiten 244
EAN 9783540343042
ISBN 3540343040
Libristo-Code 01562083
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 800
Abmessungen 155 x 235 x 17

Kategorie

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Wissensbasierte Systeme, Expertensysteme
EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Systemanalyse und -design
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
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

Das könnte Sie auch interessieren

Pharmacology of Ionic Channel Function: Activators and Inhibitors M. Endo / Buch Hardcover
common.buy 513.13 €
Heating versus Cooling in Galaxies and Clusters of Galaxies H. Böhringer / Buch Hardcover
common.buy 51.62 €
Case-Based Reasoning Research and Development Lorraine McGinty / Buch Broschur
common.buy 51.62 €
Conquest Andrea Smith / Buch Broschur
common.buy 25.25 €
Poets and Dreamers; Studies and Translations from the Irish Lady Gregory / Buch Hardcover
common.buy 35.15 €
complete work of Rembrandt Wilhelm Von Bode / Buch Broschur
common.buy 28.48 €
The Servant's Prosperity: The True Purpose of Prosperity Timothy Campbell / Buch Broschur
common.buy 10.80 €
Pippa and Pop Level 1 Activity Book British English Colin Sage / Buch Broschur
common.buy 9.29 €
Montreal at War, 1914-1918 Terry Copp / Buch Broschur
common.buy 32.02 €
Echoes and Ashes Terrell Washington Anansi / Buch Broschur
common.buy 8.98 €
How To Love Yourself 100% Htebooks / Buch Broschur
common.buy 8.98 €
Info Buzz: Early Britons: Vikings Stephen White-Thomson / Buch Broschur
common.buy 10.60 €
Graffiti and Street Art Konstantinos Avramidis / Buch Broschur
common.buy 73.04 €
If I Was Your Hamster Angelia Smith / Buch Broschur
common.buy 10.60 €
Little Owl's Snow Divya Srinivasan / Buch Hardcover
common.buy 15.95 €
In the Ravine & Other Stories Anton Chekhov / Buch Hardcover
common.buy 12.01 €
Sanctus Illuminatus, 2019 Brochure of Membership Carlos Antonio De Bourbon-Montenegro / Buch Broschur
common.buy 46.06 €
Where's Grandma's Keys Nadine Burr / Buch Hardcover
common.buy 28.48 €
YOUNG STARS 2ºPRIMARIA. WORKBOOK +CD 2019 H.Q. Mitchell / Buch Broschur
common.buy 25.55 €
Leave It to Abigail! Elizabeth Baddeley / Buch Hardcover
common.buy 17.57 €
Real Deal Faisal Susiwala / Buch Broschur
common.buy 16.16 €
Man of Honour Tyrone Heydenrych / Buch Broschur
common.buy 20.20 €
Auscultation Skills Jessica Coviello / Buch Broschur
common.buy 92.54 €
Be a Better Manager in a Week: Teach Yourself Rus Slater / Buch Broschur
common.buy 18.58 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?