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

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

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

DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € Σημείο ACS 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: 01662393
Price: 47.53 EUR
Availability: InStock
Author: Kerstin Eder
ISBN: 9783642341878

7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers

Kerstin Eder

Onn Shehory

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 01662393

ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Οκτώβριος 2012

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

Κωδικός Libristo: 01662393

115 b

47.53 €

Σε εξωτερική αποθήκη Αποστέλλουμε σε 5-8 ημέρες

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

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

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

Un bosque ciudad Maribel Lechuga González

Χαρτόδετο

9.60 €

Zebřičky Miroslav Příhoda

Χαρτόδετο

6.87 €

Autobiografía G. K. Chesterton

Χαρτόδετο

22.65 €

Formule d'Un Traite d'Arbitrage Entre Nations Charles Lemonnier

Χαρτόδετο

14.35 €

Confronto tra forza e resistenza della presa tra violinisti e non violinisti Anushree Narekuli

Χαρτόδετο

32.06 €

Erbverbruderungen zwischen den Hausern Sachsen und Hessen Edgar Loening

Χαρτόδετο

15.26 €

Gesammelte Werke Alexander Von Humboldt

Χαρτόδετο

23.26 €

Con gli occhi di Caravaggio. Napoli, 1606-1610 Francesco De Core

Σκληρόδετο

32.36 €

Aramizda Robot Var Bertie Fraser

Χαρτόδετο

14.15 €

EinFach Deutsch Unterrichtsmodelle Josef Schnell

Χαρτόδετο

38.94 €

Madonnengrab Walter M. Dobrow

Χαρτόδετο

11.32 €

Gute Nacht, Punpun 08. Bd.8 Inio Asano

Χαρτόδετο

6.97 €

Itinerari francescani. Visita ai luoghi dove visse san Francesco Fernando Uribe

Χαρτόδετο

22.45 €

FROZEN Disney Enterprises

Σκληρόδετο

21.44 €

Zunftzeichen Schulze Media GmbH

Λίστα

8.49 €

DEFI INSTITUTO FRANCES 2. LIVRE DE L'ELEVE VVAA

Βιβλίο

24.77 €

100 PROGRESSIVE STUDIES WITHOUT OCTAVES OP. 139 PIANO MARTIN FREY Έντυπα

Νότες

54.62 €

El pais de Too / The Land of Too RODRIGO REY ROSA

Χαρτόδετο

21.44 €

Elements Du Code Napoleon, Expose Par Demandes Et Par Reponses PICOT-C

Χαρτόδετο

25.38 €

Das Wesen Der Freien Christlichen Kirche (1847) Johannes Ronge

Σκληρόδετο

37.11 €

Anvisning Till Islandskan Eller Nordiska Fornspraket Rasmus Rask

Χαρτόδετο

25.99 €

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011. §The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on synthesis, formal verification, software quality, testing and coverage, experience and tools, and posters- student event.

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

EWA KASP για

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

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

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

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

Συγγραφέας Kerstin Eder, Jo, Onn Shehory

Γλώσσα

Αγγλική

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

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

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

EAN 9783642341878

ISBN 364234187X

Κωδικός Libristo 01662393

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

Βάρος 427

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

Κατηγορία

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 > Computer architecture & logic design

Computing & Information Technology > Computer science > Artificial intelligence

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

Είναι εύκολο

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