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

Integrated Formal Methods

12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Integrated Formal Methods Erika Ábrahám
Κωδικός Libristo: 02975401
ΕΕκδοτικός οίκος Springer International Publishing AG, Μάιος 2016
This book§constitutes the refereed proceedings of the 12th International Conference on Integrated§Fo... Πλήρης περιγραφή
? points 199 b
82.25 €
Σε εξωτερική αποθήκη Αποστέλλουμε σε 5-8 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

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

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

Uebersetzung von deutschen zusammengesetzten Adjektiven ins Polnische anhand der Romane von Elfriede Jelinek Badstubner-Kizik Camilla Badstubner-Kizik / ebook Adobe ePub DRM
common.buy 66.30 €
Rosso Sangue - Le cinéma italien des années de plomb Rauger / Βιβλίο Χαρτόδετο
common.buy 29.76 €
Atrás Da Muralha / Βιβλίο Χαρτόδετο
common.buy 15.53 €
BiBiBiber hat da mal 'ne Frage. Sind Dinos wirklich alle tot? Mai Thi Nguyen-Kim / ebook Adobe ePub DRM
common.buy 16.44 €
Argumentative Strukturen in popularwissenschaftlichen Texten der franzoesischen Zeitschrift Science & Vie Andreas Reimann / Βιβλίο Χαρτόδετο
common.buy 25.02 €
lettera che cade. Jacques Lacan e l'uomo come scarto Bruno Moroncini / Βιβλίο Χαρτόδετο
common.buy 27.24 €
Φθηνά
Poutine, maître du jeu ? Baud / Βιβλίο Βιβλίο
common.buy 18.16 €
Entre chiens et loups Méndez / Βιβλίο Χαρτόδετο
common.buy 18.26 €
I cinque sensi giocano a nascondino. Il mondo del Signor Acqua Agostino Traini / Βιβλίο Σκληρόδετο
common.buy 14.12 €
Du matériau à l'architecture László Moholy-Nagy / Βιβλίο Χαρτόδετο
common.buy 39.05 €
Lebedele sălbatice - The Wild Swans (romană - engleză) Ulrich Renz / Βιβλίο Χαρτόδετο
common.buy 14.12 €
AMETS POLITAK IZAN, MAITEA AA VV / Βιβλίο Σκληρόδετο
common.buy 9.68 €
Isagoge in Die Phanomenologische Apophantik G. Heffernan / Βιβλίο Χαρτόδετο
common.buy 153.50 €
USA King Crimson Audio Audio CD
common.buy 21.39 €
Bleiben Sie im Zweifelsfall moeglichst nuchtern! Hannes Gemba / Βιβλίο Χαρτόδετο
common.buy 13.51 €
Wild Hubert Krenn / Βιβλίο Σκληρόδετο
common.buy 14.83 €
Bettine von Arnim: Liedkompositionen Paul A Koch / Βιβλίο Χαρτόδετο
common.buy 15.53 €

This book§constitutes the refereed proceedings of the 12th International Conference on Integrated§Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.§The 33 papers§presented in this volume were carefully reviewed and selected from 99§submissions. They were organized in topical sections named: invited§contributions; program verification; probabilistic systems; concurrency; safety§and liveness; model learning; SAT and SMT solving; testing; theorem proving and§constraint satisfaction; case studies.§

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

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

Πλήρες όνομα Integrated Formal Methods
Συγγραφέας Erika Ábrahám, Marieke Huisman
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2016
Αριθμός σελίδων 538
EAN 9783319336923
ISBN 3319336924
Κωδικός Libristo 02975401
ΕΕκδοτικός οίκος Springer International Publishing AG
Βάρος 8248
Διαστάσεις 155 x 235 x 29

Κατηγορία

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
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

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

Advances in Discrete Applied Mathematics and Graph Theory Janez Zerovnik / Βιβλίο Σκληρόδετο
common.buy 59.74 €
Inhuman Relations Scott Becker / Βιβλίο Χαρτόδετο
common.buy 20.28 €
Championship DNA Gideon Mulinge Mwololo / Βιβλίο Χαρτόδετο
common.buy 20.28 €
Return to Social Justice Jessica Urwin / Βιβλίο Χαρτόδετο
common.buy 122.01 €
Children's songs & nursery rhymes for easy piano. Vol 3. Tomeu Alcover / Βιβλίο Χαρτόδετο
common.buy 15.43 €
A Soldier's Daughter (Illustrated) G. A. Henty / Βιβλίο Χαρτόδετο
common.buy 7.05 €
History of the Fishes of the British Islands Jonathan Couch / Βιβλίο Χαρτόδετο
common.buy 23.20 €
Family Maps of DeKalb County, Alabama, Deluxe Edition Gregory a Boyd J D / Βιβλίο Χαρτόδετο
common.buy 37.23 €
Submissionary Sherryle Kiser Jackson / Βιβλίο Χαρτόδετο
common.buy 15.53 €
WAYSIDE PILLARS, BY THE AUTHOR OF 'THE F EMILY ELIZA ELLIOTT / Βιβλίο Σκληρόδετο
common.buy 34.00 €
Preparing for Blockade 1885-1914 COBB / Βιβλίο Χαρτόδετο
common.buy 85.88 €
Housekeepers Handy Book Lucia Baxter / Βιβλίο Χαρτόδετο
common.buy 18.06 €
Of Time and Tide Malleus Maleficarum Jr / Βιβλίο Χαρτόδετο
common.buy 13.82 €
International Law Reports E. LauterpachtC. J. Greenwood / Βιβλίο Σκληρόδετο
common.buy 206.89 €
14 Minutes Alberto Salazar / Βιβλίο Χαρτόδετο
common.buy 13.31 €
Global Legal Pluralism Paul Schiff Berman / Βιβλίο Χαρτόδετο
common.buy 71.85 €
Simple Solutions Ergonomics for Construction Workers - Scholar's Choice Edition Department of Health and Human Services / Βιβλίο Χαρτόδετο
common.buy 17.25 €
Jack Wilshere - Arsenal DNA Joe Jacobs / Βιβλίο Σκληρόδετο
common.buy 16.24 €
Information Processing in Medical Imaging Alan C. F. Colchester / Βιβλίο Χαρτόδετο
common.buy 102.73 €
Ameno Black: the Lynching of Arliss Black M E Robertson-Hoon / Βιβλίο Χαρτόδετο
common.buy 17.25 €

Είσοδος

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

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

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

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

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