Έλεγχος κατάστασης παραγγελίας

Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού

Δωρεάν αποστολή με Box Now άνω των 69.99 €

DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Σημείο ACS 4.99 € Box Now 3.99 €

Επικοινωνία phone

Πώς να κάνετε αγορές;

Βοήθεια

Ο λογαριασμός μου

▸ Άδειο :-(

Hardware and Software: Verification and Testing

Name: Hardware and Software: Verification and Testing
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01657535
Price: 51.75 EUR
Availability: InStock
Author: Sharon Barner
ISBN: 9783642195822

6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Γλώσσα

Αγγλική

Βιβλίο Χαρτόδετο

Κωδικός Libristo: 01657535

ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Μάρτιος 2011

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International H... Πλήρης περιγραφή

Κωδικός Libristo: 01657535

125 b

51.75 €

Εξωτερικός αποθηκευτικός χώρος Αποστέλλουμε σε 5-8 ημέρες

Παράδοση στην Ελλάδα

30 ημέρες για την επιστροφή των προϊόντων

Οι πελάτες αγόρασαν επίσης

Recht und Politik globaler Sicherheit Andreas Fischer-Lescano

Χαρτόδετο

49.52 €

Ženich new

Παιχνίδι

9.92 €

Wege zur Strafvollzugsreform. Heinz Müller-Dietz

Χαρτόδετο

43.03 €

100 samolepek Tlapková patrola

Χαρτόδετο

3.53 €

Vokabelrätsel Ukrainisch-Deutsch Igor Jourist

Χαρτόδετο

6.57 €

Mundus Symbolicus In Emblematum Universitate Formatus, Explicatus Et Tam Sacris, Quam Profanis Eruditionibus As Sententiis Illustratus ...... Filippo Picinelli ((C.R.L.))

Χαρτόδετο

35.24 €

Esqueletos no Armário - Memórias do Filho de um Pastor.- 2?. Ediç?o. Domingo González Jr. Domingo Gonzalez

Χαρτόδετο

10.42 €

One Piece - Law (Nippon Novel) Eiichiro Oda

Χαρτόδετο

9.11 €

Droit constitutionnel de la Ve République Chabrier Βιβλίο

Χαρτόδετο

29.87 €

Geschichte der Verfassung der roemischen Republik Nepomuk Fischer

Χαρτόδετο

16.20 €

Kerbschnitzen Christian Zeppetzauer

Σκληρόδετο

19.13 €

Programa de tutorías: ¿varita mágica o dispositivo institucional? Paola Yanina Fascendini

Χαρτόδετο

33.01 €

Patte de Velours Osiris Brackhaus

Χαρτόδετο

16.60 €

Cochlea-Implantat - mit dem CI leben, hören und sprechen Dorothea Senf

Χαρτόδετο

8.70 €

Radwander- und Wanderkarte Naturpark Unteres Saaletal, Bernburg, Calbe, Köthen und Umgebung Verlag Dr. Barthel

Χάρτης

6.67 €

Filmdidaktik im Deutschunterricht. Zwischen filmischer und literarischer Lekture Alexander Bauerkamper

Χαρτόδετο

14.47 €

Mise En Place de Corridors Biologiques Dans Le Scot Flandre-Dunkerque Lemille-M

Χαρτόδετο

55.19 €

Estudios en laboratorio de hemostasia en neonatología y obstetricia Diana Noemí García

Χαρτόδετο

21.46 €

La Barcelona rebelde : guía de una ciudad silenciada Anónimo

Χαρτόδετο

28.05 €

Ciencias sociales, geografía e historia en Secundaria Carmen Llopis

Χαρτόδετο

24.20 €

Die Mathe-Merk-Mappe Klasse 8 Renate Bahrenberg

Χαρτόδετο

9.11 €

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010.§The 10 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 30 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and have a research focus on hybrid methods and the migration of methods and ideas between hardware and software, static and dynamic analysis, pre- and post-silicon.

Ηθοποιός & Πολύγλωσση

EWA KASP για

Αναπαραγωγή βίντεο

το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

Πληροφορίες για το βιβλίο

Πλήρες όνομα Hardware and Software: Verification and Testing

Συγγραφέας Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz

Γλώσσα

Αγγλική

Βιβλιοδεσία Βιβλίο - Χαρτόδετο

Ημερομηνία έκδοσης 2011

Αριθμός σελίδων 197

EAN 9783642195822

ISBN 3642195822

Κωδικός Libristo 01657535

ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Βάρος 326

Διαστάσεις 155 x 235 x 12

Κατηγορία

Computing & Information Technology > Computer programming / software engineering > Software Engineering > Software testing & verification

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general

Computing & Information Technology > Computer science > Computer architecture & logic design

Χαρίστε αυτό το βιβλίο σήμερα

Είναι εύκολο

1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη