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 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Hardware and Software: Verification and Testing

5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

Sprache EnglischEnglisch
Buch Broschur
Buch Hardware and Software: Verification and Testing Kedar Namjoshi
Libristo-Code: 01657444
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Februar 2011
This book constitutes the thoroughly refereed post proceedings of the 5th International Haifa Verifi... Vollständige Beschreibung
? points 148 b
60.39 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 11-15 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Praparationsmethodik in Der Elektronenmikroskopie David G. Robinson / Buch Broschur
common.buy 79.99 €
Methoden zur Bewertung von Kraftfahrzeugscheinwerfern Thomas Dahlem / Buch Broschur
common.buy 61.09 €
Segregator A4 Bantex PP XXL 8cm niebieski / Buch binding.
common.buy 2.99 €
A Paranormal Evening With The Moonflower Society Avantasia / Audio Audio CD
common.buy 98.99 €
Denkriesen - Stadt Land Vollpfosten® - School Edition Ricardo Barreto / Spiel/Spielzeug Spiel
common.buy 14.99 €
Je zygota lidskou osobou? Pascal Ide / Buch Broschur
common.buy 7.39 €
Phraseologisches Übersetzungswörterbuch Deutsch-Serbisch/Serbisch-Deutsch Prevodni frazeoloSki recnik Nemacko-srpski/Srpsko-nemacki Nikola Vujcic / Buch Broschur
common.buy 68.00 €
Au dodo, p'tit loup ! Lallemand / Buch Hardcover
common.buy 22.99 €
Souvenirs Atlantiques: Voyage Aux États-Unis Et Au Canada; Volume 1 Theodore Marie Pavie / Buch Hardcover
common.buy 37.69 €
Mein Zweisprachiges Aufdeckspiel, Obst und Gemüse, Russisch Tolga Celik / Spiel/Spielzeug Spiel
common.buy 15.19 €
Handbuch Dieselmotoren im Kraftwerks- und Schiffsbetrieb Günter Mau / Buch Broschur
common.buy 85.29 €
Poemas para barrocos Cristina Daneri Ferrari / Buch Broschur
common.buy 17.69 €

This book constitutes the thoroughly refereed post proceedings of the 5th International Haifa Verification Conference, HVC 2009, held in Haifa, Israel in October 2009. The 11 revised full papers presented together with four abstracts of invited lectures were carefully reviewed and selected from 23 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and present academic research in the verification of systems, generally divided into two paradigms - formal verification and dynamic verification (testing).

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 Hardware and Software: Verification and Testing
Autor Kedar Namjoshi, Andreas Zeller, Avi Ziv
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2011
Anzahl der Seiten 169
EAN 9783642192364
ISBN 364219236X
Libristo-Code 01657444
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 273
Abmessungen 155 x 235 x 15

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen
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 > 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

Enabling Flexibility in Process-Aware Information Systems Manfred Reichert / Buch Hardcover
common.buy 53.79 €
Exploring Public-Private Partnerships in Singapore Kim / Buch Hardcover
common.buy 79.79 €
Diabolically Detailed Coloring Book (Volume 10) H R Wallace Publishing / Buch Broschur
common.buy 8.89 €
Seven Imperfect Rules of Elvira Carr Frances Maynard / Buch Broschur
common.buy 12.49 €
Hints to an Inquirer on the Subject of Baptism PARSONS COOKE / Buch Broschur
common.buy 22.79 €
Ministry of Fine Art to the Happiness of Life Parry Thomas Gambier Parry / Buch Broschur
common.buy 28.99 €
Power Of Your Subconscious Mind (revised) Joseph Murphy/ Revised By Ian McMahan / Buch Broschur
common.buy 10.29 €
Top
Dracopedia Field Guide William O'Connor / Buch Hardcover
common.buy 23.29 €
Slumber Party Sparkles Jojo Siwa / Buch Broschur
common.buy 8.69 €
I Want a Boyfriend! Tony Ross / Buch Broschur
common.buy 9.39 €
Advanced Mobile Robotics Daeeun Kim / Buch Broschur
common.buy 90.89 €
The Patchouli in perfumery Le collectif nez / Buch Broschur
common.buy 22.49 €
Top
Brain Games - Sticker by Number - Vintage: Flowers (28 Images to Sticker) New Seasons / Buch Broschur
common.buy 13.89 €
Top
Powerless Lauren Roberts / Buch Broschur
common.buy 9.59 €
Ultimate Guide to Sewing Machine Feet Shelley Scott-Tobisch / Buch Broschur
common.buy 22.39 €
Exploring Sinophone Liminality in Contemporary Chinese Fiction Chao / Buch Hardcover
common.buy 215.89 €
Illustrated Encyclopaedic Medical Dictionary Frank Pierce Foster / Buch Hardcover
common.buy 47.49 €
Road to Mound Grove Betty B Cantwell / Buch Broschur
common.buy 16.79 €
Top
Go Programming Language, The Alan Donovan / Buch Broschur
common.buy 41.99 €
Combinatory Linguistics Cem Bozsahin / Buch Hardcover
common.buy 149.79 €
Low-Power Crystal and MEMS Oscillators Eric Vittoz / Buch Hardcover
common.buy 229.79 €
Top
The Adhd Effect on Marriage Melissa Orlov / Buch Broschur
common.buy 18.09 €
Naples and Napoleon John A. Davis / Buch Hardcover
common.buy 243.09 €

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?