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

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

Δωρεάν αποστολή με 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

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

Βοήθεια

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

▸ Άδειο :-(

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01560845
Price: 102.86 EUR
Availability: InStock
Author: Kousha Etessami
ISBN: 9783540272311

17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

Kousha Etessami

Sriram K. Rajamani

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 01560845

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

This book constitutes the refereed proceedings of the 17th International Conference on Computer Aide... Πλήρης περιγραφή

Κωδικός Libristo: 01560845

249 b

102.86 €

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

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

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

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

Bombolles i tovallola MÜHLE JÖRG

Σκληρόδετο

16.66 €

Ausgewahlte Schriften des Lucian Julius Wilhelm Ewald Sommerbrodt

Χαρτόδετο

20.50 €

La Teolosis y la Mujer Dr Elvin Heredia Phd

Χαρτόδετο

11.71 €

Koordinationstraining im Golf Marc Müller-Dargusch

Χαρτόδετο

31.32 €

A l'aube des heures fertiles Debarle

Χαρτόδετο

22.93 €

Histoire des Associations familiales catholiques Michel Emmanuel

Χαρτόδετο

26.87 €

Voyage au bout du monde Chang

Χαρτόδετο

17.17 €

Trouble de la personnalité borderline - Pratiques thérapeutiques Stéphane Kolly

Χαρτόδετο

53.24 €

POESIE IN MUSICA Biagio Di Carlo E Mara Seccia

Χαρτόδετο

11.91 €

Fragiler Pluralismus Hans-Georg Soeffner

Χαρτόδετο

35.86 €

Die Septuaginta - Geschichte, Wirkung, Relevanz Martin Meiser

Σκληρόδετο

352.66 €

Auslandsinvestitionen Und Wahrungsrisiken Thomas Schäfer

Χαρτόδετο

42.43 €

Anordnung zur Übertragung der Zuständigkeit für den Erlass von Widerspruchsbescheiden und der Vertretung bei Klagen von Beamten des Bundesinstituts fü Antiphon Verlag

Λίστα

8.98 €

Evaluación de Proyectos de Inversión Octavio Rolando Lara Martinez

Χαρτόδετο

35.66 €

Teorias implicitas acerca del curriculo en profesores de secundaria Rojas Romero Jesus Gabriela

Χαρτόδετο

57.79 €

Eenduisend-En-Een Grimmige Nagte Yolanda Faye Holden

Χαρτόδετο

15.55 €

This book constitutes the refereed proceedings of the 17th International Conference on Computer Aided Verification, CAV 2005, held in Edinburgh, Scotland, UK in July 2005.§The 32 revised full papers presented together with 16 tool papers and 3 invited papers, as well as a report on a special tools competition were carefully reviewed and selected from 155 submissions. The papers cover all current issues in computer aided verification and model checking, ranging from foundational and methodological issues to the evaluation of major tools and systems.

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

EWA KASP για

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

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

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

Πλήρες όνομα Computer Aided Verification

Συγγραφέας Kousha Etessami, Sriram K. Rajamani

Γλώσσα

Αγγλική

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

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

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

EAN 9783540272311

ISBN 3540272313

Κωδικός Libristo 01560845

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

Βάρος 1800

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

Κατηγορία

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics

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 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

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

Contemporary Electroanalytical Chemistry A. Ivaska

Σκληρόδετο

205.53 €

Everyday English, Book 1: Language Lessons For Intermediate Grades (1902) Jean Sherwood Rankin

Σκληρόδετο

45.06 €

Flyleaf Volume One: 2014 Flyleaf Journal

Χαρτόδετο

10.80 €

Rogues and Vagabonds George R Sims

Χαρτόδετο

15.55 €

The Claverings Anthony Trollope

Χαρτόδετο

17.27 €

Sexual Mountain and Black Women Writers Calvin C. Hernton

Χαρτόδετο

13.94 €

Ucoa: The Biker Experience Thomas Zimmer

Χαρτόδετο

58.10 €

Big Data Hai Jin

Χαρτόδετο

51.63 €

The Great Boer War Arthur Conan Doyle

Χαρτόδετο

20.81 €

R Programming: A Step-by-Step Guide for Absolute Beginners Daniel Bell

Χαρτόδετο

14.64 €

Handbook of Essential Oils K. Husnu Can Baser

Σκληρόδετο

320.02 €

The Medicine-Men of the Apache, Volume 9... John Gregory Bourke

Χαρτόδετο

20.50 €

Tibetan Terrier. Tibetan Terrier Dog Complete Owners Manual. Tibetan Terrier book for care, costs, feeding, grooming, health and training. George Hoppendale

Χαρτόδετο

15.75 €