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

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

Δωρεάν αποστολή με 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 Nature Switzerland AG
SKU: 24027841
Price: 51.63 EUR
Availability: InStock
Author: Isil Dillig
ISBN: 9783030255398

Isil Dillig

Serdar Tasiran

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 24027841

ΕΕκδοτικός οίκος Springer Nature Switzerland AG, Ιούλιος 2019

This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31s... Πλήρης περιγραφή

Κωδικός Libristo: 24027841

125 b

51.63 €

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

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

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

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

Plaster Czarownicy i inne baśnie Małgorzata Strzałkowska

Σκληρόδετο

10.10 €

LP! JPEGMAFIA Audio

Audio vinyl

49.91 €

Bleigewitter über Cinecitt? Christian Keßler

Σκληρόδετο

30.31 €

Hory zpívají Phan Que Mai Nguyen

Σκληρόδετο

16.26 €

KLIMATOLOGIE Émile H. Klouyo

Χαρτόδετο

39.20 €

Besser hausgemacht mit dem Thermomix® Doris Muliar

Χαρτόδετο

12.72 €

30 Jahre Nachhilfe in 60 Minuten Ulf - C. Roggendorff

Χαρτόδετο

10.90 €

Valorisation de soja: « tofu, farine infantile » José Tahina Ranaivotrimo

Χαρτόδετο

55.06 €

Atención Sociosanitaria a personas en el domicilio.Atención domiciliaria y alimentación familiar. Ce EDAE

Χαρτόδετο

25.76 €

TEKIS GOMEZ

Σκληρόδετο

21.21 €

Cuento-juego. Los tres cerditos NICOLETTA CODIGNOLA

Χαρτόδετο

16.46 €

Morče Nataša Velenská

Χαρτόδετο

6.86 €

Weg Ins Heim Trendb Uro

Χαρτόδετο

37.78 €

Christoph Columbus Jakob Wassermann

Χαρτόδετο

17.88 €

Donc Vous Avez Un Ami Invisible: (Ne voir aucun dieu, n'entendre aucun dieu, ne parler ? aucun dieu) Nancy Phillips

Χαρτόδετο

11.71 €

Secme Dünya Öyküleri Jorge Luis Borges

Χαρτόδετο

16.16 €

This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented toget

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

EWA KASP για

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

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

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

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

Συγγραφέας Isil Dillig, Serdar Tasiran

Γλώσσα

Αγγλική

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

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

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

EAN 9783030255398

ISBN 3030255395

Κωδικός Libristo 24027841

ΕΕκδοτικός οίκος Springer Nature Switzerland AG

Βάρος 1050

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

Κατηγορία

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 modelling & simulation

Computing & Information Technology > Computer science > Artificial intelligence

Computing & Information Technology > Computer networking & communications

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

Είναι εύκολο

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