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

Integrated Formal Methods

13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Integrated Formal Methods Nadia Polikarpova
Κωδικός Libristo: 16803868
ΕΕκδοτικός οίκος Springer International Publishing AG, Αύγουστος 2017
This book constitutes the refereed proceedings of the 13th International Conference on Integrated Fo... Πλήρης περιγραφή
? points 141 b
58.57 €
Σε εξωτερική αποθήκη σε μικρές ποσότητες Αποστέλλουμε σε 11-15 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

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

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

LE MYSTERE DE LA MAISON AUX TROIS ORMES Musso / Βιβλίο Χαρτόδετο
common.buy 36.88 €
La sagesse divine des animaux Stacey Demarco / Βιβλίο Σκληρόδετο
common.buy 31.00 €
Die Auflage Nach Dem Burgerlichen Gesetzbuche (1898) August Feigel / Βιβλίο Χαρτόδετο
common.buy 21.27 €
Au Bord Du Lac (1852) Emile Souvestre / Βιβλίο Χαρτόδετο
common.buy 31.20 €
Sancti Aurelii Augustini Hipponensis Episcopi ... Opera Omnia Post Lovaniensium Theologorum Recensionem Castigata: Denuo Ad Manuscriptes Codices Galli Saint Augustine of Hippo / Βιβλίο Χαρτόδετο
common.buy 31.20 €
Arte poética de Horacio o Epístola a los Pisones: Tres traducciones al castellano y la versión latina Horacio / Βιβλίο Χαρτόδετο
common.buy 28.87 €
Divertimento für Tenorsaxaphon und kleines Ensembl Carl/Enders Oesterhelt / Audio Audio CD
common.buy 22.59 €
El silenci de les cases MARIA SANPLA / Βιβλίο Χαρτόδετο
common.buy 14.99 €
Leonardo Martin Kemp / Βιβλίο Χαρτόδετο
common.buy 14.79 €
Lecciones de Seguridad Social (I) : el sistema de Seguridad Social su régimen general y la protección social complementaria Francisco Javier Hernáez Manrique / Βιβλίο Χαρτόδετο
common.buy 21.07 €
Lumieres Et Romantisme M. Castillo / Βιβλίο Χαρτόδετο
common.buy 28.77 €

This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software..

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

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

Πλήρες όνομα Integrated Formal Methods
Συγγραφέας Nadia Polikarpova, Steve Schneider
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2017
Αριθμός σελίδων 438
EAN 9783319668444
ISBN 3319668447
Κωδικός Libristo 16803868
ΕΕκδοτικός οίκος Springer International Publishing AG
Βάρος 6905
Διαστάσεις 155 x 235 x 26

Κατηγορία

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 > Artificial intelligence
Computing & Information Technology > Information technology: general issues
Computing & Information Technology > Computer networking & communications
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

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

Creatures of Old Prasad / Ακουστικό βιβλίο MP3
common.buy 3.94 €
The Black Doctor: And Other Tales of Terror and Mystery (1919) Arthur Conan Doyle / Βιβλίο Χαρτόδετο
common.buy 32.22 €
Introduction to Nuclear Waste Immobilisation Michael Ojovan / Βιβλίο Χαρτόδετο
common.buy 232.17 €
The Itsy Bitsy Spider Flowerpot Press / Βιβλίο Leporelo
common.buy 9.11 €
Illustrated Guide to Chemistry JEFF GRANT / Βιβλίο Χαρτόδετο
common.buy 21.37 €
Taking A Long Look Vivian Gornick / Βιβλίο Σκληρόδετο
common.buy 22.18 €
The Case of The Stolen Case Carl Brookins / Βιβλίο Χαρτόδετο
common.buy 14.58 €
Undying Destiny Jessica Lee / Ακουστικό βιβλίο MP3
common.buy 20.16 €
Capybara Zen Helen H. Wu / Βιβλίο Χαρτόδετο
common.buy 7.39 €
Let Me Tell You A Story Rob Parsons / Βιβλίο Σκληρόδετο
common.buy 18.74 €
Crafty Makes: 51 Things to Make with Paper Plates Fiona Hayes / Βιβλίο Σκληρόδετο
common.buy 22.18 €
Φθηνά
The Legend of Sleepy Hollow Tarot--Headless Horseman Edition LAWYER NICK / Έντυπα Κάρτες
common.buy 35.06 €
Τοπ
Lout of Count's Family (Novel) Vol. 1 Yu Ryeo-Han / Βιβλίο Χαρτόδετο
common.buy 14.48 €
Writing for Interaction Linda Newman Lior / Βιβλίο Χαρτόδετο
common.buy 52.18 €
Parenting with Presence Susan Stiffelman / Βιβλίο Χαρτόδετο
common.buy 14.48 €
Real-Life Distance Education Al P. Mizell / Βιβλίο Σκληρόδετο
common.buy 131.84 €
Kaukasus Und Seine Volker. Mit Textabbildungen, Etc. Roderich Von Erckert / Βιβλίο Χαρτόδετο
common.buy 32.52 €
British Culture of the Post-War Alastair Davies / Βιβλίο Χαρτόδετο
common.buy 64.55 €
Cloud Computing for Teaching and Learning Lee Chao / Βιβλίο Σκληρόδετο
common.buy 204.51 €
Community Identity Sebastian Kim / Βιβλίο Χαρτόδετο
common.buy 119.48 €
Euro Crash Brendan Brown / Βιβλίο Σκληρόδετο
common.buy 114.71 €
Προετοιμαζουμε
Creating Belfast Don McCloy / Βιβλίο Χαρτόδετο
common.buy 21.27 €
Wonder Island Boys Roger Thompson Finlay / Βιβλίο Χαρτόδετο
common.buy 34.45 €

Είσοδος

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

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

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

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

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