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

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

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

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

Βοήθεια

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

▸ Άδειο :-(

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani

David Monniaux

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 15560990

ΕΕκδοτικός οίκος Springer International Publishing AG, Ιανουάριος 2017

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

Κωδικός Libristo: 15560990

125 b

51.75 €

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

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

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

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

Satires Contre Les Astronomes MERCIER-L-S

Χαρτόδετο

14.37 €

MEURTRIERS SANS VISAGE Henning Mankell

Χαρτόδετο

14.98 €

Malvadita Keselman

MP3

3.94 €

Os animais tem alma? ERNESTO BOZZANO

Χαρτόδετο

13.76 €

Viaggi attraverso le cose. Ediz. numerata Corrado Alvaro

Χαρτόδετο

7.38 €

Batman - Svět Různí

Σκληρόδετο

20.85 €

ATS GRUPO B ADMINISTRACION ESPECIAL DE LA GENERALITAT VALENC EDITORIAL MAD

Σκληρόδετο

64.51 €

Mésopotamie - L'apparition de l'état, VIIe IIIe millénaires FOREST

Βιβλίο

87.09 €

Modèle de Hubbard étendu: Aspects électronique et magnétique Said Harir

Χαρτόδετο

44.55 €

Feelgood-Management Ulrike Weber

Χαρτόδετο

14.37 €

Lehrer sein! Johannes Baumann

Χαρτόδετο

23.79 €

Aktuelle Rechtsfragen im Radsport Manfred Büchele

Χαρτόδετο

60.86 €

This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017. The 27 full papers together with 3 invited keynotes presented were carefully reviewed and selected from 60 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

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

EWA KASP για

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

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

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

Πλήρες όνομα Verification, Model Checking, and Abstract Interpretation

Συγγραφέας Ahmed Bouajjani, David Monniaux

Γλώσσα

Αγγλική

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

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

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

EAN 9783319522333

ISBN 3319522337

Κωδικός Libristo 15560990

ΕΕκδοτικός οίκος Springer International Publishing AG

Βάρος 8657

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

Κατηγορία

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability

Computing & Information Technology > Computer hardware > Network hardware

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

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

Είναι εύκολο

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

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

Remaking China's Great Cities Sam Liang

Σκληρόδετο

245.70 €

Climate Change and Mango Production Syed Atif Hasan Naqvi

Adobe ePub DRM

240.23 €

INFINITY SAGA CAPT AMER WINTER SOLDIER A MARVEL STUDIOS

Σκληρόδετο

32.40 €

Applying the Scientific Method to Learn from Mistakes and Approach Truth Finlay MacRitchie

Adobe ePub DRM

50.43 €

Amazing Writers: B2 (Collins Amazing People ELT Readers) Katerina Mestheneou

MP3

8.40 €

Season's of a Mother's Heart Sally Clarkson

Χαρτόδετο

12.85 €

Henry Demarest Lloyd and the Empire of Reform Chester Mcarthu Destler

Σκληρόδετο

164.57 €

Psychedelic Alien Monster: Cannabis College Ruled Notebook Cannabis Growers Press

Χαρτόδετο

9.92 €

Speak Life: Restoring Healthy Communication in How You Think, Talk, and Pray Brady Boyd

Χαρτόδετο

18.63 €

Technology, Modernity, and Democracy Eduardo Beira

Σκληρόδετο

176.12 €

Adventures of Hugh Jorgan Rock Harding

Χαρτόδετο

11.13 €

KJV Holy Bible, Personal Size Giant Print Reference Bible, Deluxe Burgundy Leathersoft, Thumb Indexed, 43,000 Cross References, Red Letter, Comfort Pr Thomas Nelson

Σκληρόδετο

40.20 €