Έλεγχος κατάστασης παραγγελίας
LIBRISTO
LIBROAMANTO
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης
Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού
0
Δωρεάν αποστολή με 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 Επικοινωνία phoneΠώς να κάνετε αγορές;

Hardware and Software: Verification and Testing

8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Hardware and Software: Verification and Testing Armin Biere
Κωδικός Libristo: 01664050
ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Ιούνιος 2013
This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verificatio... Πλήρης περιγραφή
? points 115 b
47.40 €
Σε εξωτερική αποθήκη Αποστέλλουμε σε 5-8 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

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

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

Harry Potter: Vánoce v Bradavicích Joanne K. Rowling / Βιβλίο Σκληρόδετο
common.buy 16.23 €
101 vecí na hľadanie a nalepovanie Rozprávkové bytosti / Βιβλίο Χαρτόδετο
common.buy 3.92 €
Heilige Maria, Mutter Gottes / Βιβλίο Λίστα
common.buy 4.02 €
Die Umsetzung des NCV-Programms am Tshwane North FET College Kaizer Raseane Makole / Βιβλίο Χαρτόδετο
common.buy 48.81 €
Schody do nebe Lorna Byrneová / Βιβλίο Σκληρόδετο
common.buy 10.38 €
Philologus / Βιβλίο Σκληρόδετο
common.buy 106.30 €
Gra Szacho-warcaby 31 / Βιβλίο binding.
common.buy 35.70 €
??????????? ???? ?????? ????????? ????? ?????????? Neil King / ebook Adobe ePub DRM
common.buy 7.96 €
Praxeologie der Moderne Gunnar Skirbekk / Βιβλίο Χαρτόδετο
common.buy 45.38 €
Tintin c'est l'aventure n°24 - Belgique - Offre Jumelée / Βιβλίο Χαρτόδετο
common.buy 29.75 €
Marmorpalais im Neuen Garten der Stiftung Preußischer Schlösser und Gärten Berlin-Brandenburg / Βιβλίο Χαρτόδετο
common.buy 6.95 €
Tumeurs malignes rares Jean-Pierre Droz / Βιβλίο Σκληρόδετο
common.buy 167.02 €
Geschichte der jungen Renate Fuchs Jakob Wassermann / Βιβλίο Χαρτόδετο
common.buy 8.97 €
Frauen- und Kinderarbeit in der Zeit der Industrialisierung Viktoria Lehner / Βιβλίο Χαρτόδετο
common.buy 14.41 €
MÁS ALLÁ DEL LÍMITE SIMONE ELKELES / Βιβλίο Χαρτόδετο
common.buy 8.26 €
Problem der demokratischen Legitimation in foederalen Systemen Julia Schoeppenthau / Βιβλίο Χαρτόδετο
common.buy 16.13 €
Odisea / The Odyssey HOMERO / Βιβλίο Χαρτόδετο
common.buy 11.09 €
20TH CENTURY ITALIAN COMPOSERS PIANO ALFONSO ALBERTI Βιβλίο binding.
common.buy 28.23 €
Puissances de l'imagination : Malebranche, De l'imagination, Cervantès, Don Quichotte, Proust, Un amour de Swann Anglard / Βιβλίο Χαρτόδετο
common.buy 23.49 €
CHAGALL, MODIGLIANI, SOUTINE... PARIS POUR ECOLE, 1905-1940 Βιβλίο Βιβλίο
common.buy 30.96 €
LE DEFI DES DRUIDES BRISOU-PELLEN / Βιβλίο Χαρτόδετο
common.buy 13.10 €
L'année de la grande section 5-6ans - Tout pour réussir en maternelle Ginette Grandcoin-Joly / Βιβλίο Χαρτόδετο
common.buy 11.39 €
Dalmatien - 1.000 Teile (Puzzle) / Παιχνίδι/Επιτραπέζιο παιχνίδι Επιτραπέζιο παιχνίδι
common.buy 31.46 €
MI PRIMER IMAGINARIO DE DINOSAURIOS LAURE DU FAY / Βιβλίο Χαρτόδετο
common.buy 16.73 €

This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions. They focus on the future directions of testing and verification for hardware, software, and complex hybrid systems.

Ηθοποιός & Πολύγλωσση
EWA KASP για
Αναπαραγωγή βίντεο
Ewa Kasp
το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

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

Πλήρες όνομα Hardware and Software: Verification and Testing
Συγγραφέας Armin Biere, Amir Nahir, Tanja Vos
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2013
Αριθμός σελίδων 281
EAN 9783642396106
ISBN 3642396100
Κωδικός Libristo 01664050
ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Βάρος 456
Διαστάσεις 155 x 235 x 19

Κατηγορία

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

Μπορεί να σας ενδιαφέρει

Numerical Treatment of Multiphase Flows in Porous Media Zhangxin Chen / Βιβλίο Σκληρόδετο
common.buy 114.17 €
Τοπ
Aristotle and Dante Collection (Boxed Set) Benjamin Alire Sáenz / Βιβλίο Σκληρόδετο
common.buy 33.38 €
Rethinking Genesis 1-11 Gordon J. Wenham / Βιβλίο Σκληρόδετο
common.buy 27.63 €
Oxford Primary Illustrated Maths Dictionary / Βιβλίο Χαρτόδετο
common.buy 10.78 €
Τοπ
The 5 Am Club: Own Your Morning. Elevate Your Life. Robin Sharma / Βιβλίο Σκληρόδετο
common.buy 22.18 €
Defects in HIgh-k Gate Dielectric Stacks Evgeni Gusev / Βιβλίο Σκληρόδετο
common.buy 205.15 €
Draw and Color Your Dragon JOHN SMITH / Βιβλίο Χαρτόδετο
common.buy 18.04 €
In the Heights LIN-MANUEL MIRANDA / Βιβλίο Σκληρόδετο
common.buy 30.65 €
Children of Jocasta Natalie Haynes / Βιβλίο Χαρτόδετο
common.buy 9.67 €
Rocket Science Alan McFadzean / Βιβλίο Χαρτόδετο
common.buy 36.20 €
Τοπ
Attack on Titan Omnibus 2 (Vol. 4-6) Hajime Isayama / Βιβλίο Χαρτόδετο
common.buy 14.41 €
Donbas Conflict in Ukraine Daria Platonova / Βιβλίο Σκληρόδετο
common.buy 217.76 €
Life's Edge Carl Zimmer / Βιβλίο Χαρτόδετο
common.buy 15.12 €
This Is Me (from the Greatest Showman) Justin Paul / Βιβλίο Χαρτόδετο
common.buy 5.64 €
Of Ancients Unbound T.C. Edge / Βιβλίο Χαρτόδετο
common.buy 26.22 €
World Literature Klaudia Hiu Yen Lee / Βιβλίο Σκληρόδετο
common.buy 217.76 €
Dark Waters Jason Wright / ebook Adobe ePub DRM
common.buy 3.32 €
Hypertension and Stroke Venkatesh Aiyagari / Βιβλίο Χαρτόδετο
common.buy 200.61 €
Dionysius of Halicarnasssus W. Rhys Roberts / Βιβλίο Χαρτόδετο
common.buy 50.22 €
Beginning Human Rights Law Howard Davis / Βιβλίο Χαρτόδετο
common.buy 62.83 €
Τοπ
Basic Economics Thomas Sowell / Βιβλίο Σκληρόδετο
common.buy 33.38 €
Τοπ
Green Lantern by Geoff Johns Omnibus Vol. 1 Geoff Johns / Βιβλίο Σκληρόδετο
common.buy 89.76 €
Cognitive Linguistics EVANS VYVYAN / Βιβλίο Σκληρόδετο
common.buy 170.65 €
Τοπ
Accessing the Healing Power of the Vagus Nerve Stanley Rosenberg / Βιβλίο Χαρτόδετο
common.buy 21.98 €

Είσοδος

Συνδεθείτε στο λογαριασμό σας Δεν έχετε ακόμη λογαριασμό στο Libristo; Δημιουργήστε τον τώρα!

 
υποχρεωτικό
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης

Δεν έχετε λογαριασμό; Αποκτήστε τα οφέλη ενός λογαριασμού Libristo!

Με έναν λογαριασμό Libristo, θα έχετε τον απόλυτο έλεγχο.

Δημιουργία λογαριασμού Libristo
Σύμβουλος βιβλίων Libroamiko
Γεια σας, είμαι ο Libroamiko, μπορώ να βοηθήσω;