Έλεγχος κατάστασης παραγγελίας
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Πώς να κάνετε αγορές;

Software Engineering and Formal Methods

12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Software Engineering and Formal Methods Dimitra Giannakopoulou
Κωδικός Libristo: 05147842
ΕΕκδοτικός οίκος Springer International Publishing AG, Ιούλιος 2014
This book constitutes the refereed proceedings of the 12th International Conference on Software Engi... Πλήρης περιγραφή
? points 125 b
51.69 €
Εξωτερικός αποθηκευτικός χώρος Αποστέλλουμε σε 5-8 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

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

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

Percepción de la calidad del servicio universitario: una aproximación Evelyn Ruth Poitevin / Βιβλίο Χαρτόδετο
common.buy 44.51 €
Spor Anatomisi N. simsek Cankur / Βιβλίο Χαρτόδετο
common.buy 16.18 €
Anatomia Coniunctionis Magnae. Oder Beschreibung der grossen und wol mercklichen Zusammenkunfft beyder obersten Planeten Saturns und Jupiters, Welche Carl von Reifitz / Βιβλίο Χαρτόδετο
common.buy 29.63 €
Modelo Terapéutico de Nutrición Funcional en la Obesidad Edwin Enrique Martínez Leo / Βιβλίο Χαρτόδετο
common.buy 41.88 €
Dykare / Βιβλίο Σκληρόδετο
common.buy 29.84 €
Le Talmud de Jerusalem, Volumes 4-5... Moise Schwab / Βιβλίο Χαρτόδετο
common.buy 34.09 €
Totalement jumelles - numéro 9 Devine qui vient danser ? Ashley Olsen / Βιβλίο Χαρτόδετο
common.buy 7.98 €
Pokémon go: la parola pi? cliccata nel web. Anarchia e gioco Riccardo Fenizia / Βιβλίο Χαρτόδετο
common.buy 7.07 €
Die schrillen Vier auf Achse / Hilfe, die Amis kommen, 2 Blu-rays Pembroke J. Herring / Video Blu-ray
common.buy 15.77 €
Wildpflanzen in der Ernährung der Grundbevölkerung Melanesiens Barbara Treide / Βιβλίο Σκληρόδετο
common.buy 124.14 €

This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014.§The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions. They are organized in topical section on program verification, testing, component-based systems, real-time and embedded systems, model checking and automata learning, program correctness, and adaptive and multi-agent systems.

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

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

Πλήρες όνομα Software Engineering and Formal Methods
Συγγραφέας Dimitra Giannakopoulou, Gwen Salaün
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2014
Αριθμός σελίδων 394
EAN 9783319104300
ISBN 3319104306
Κωδικός Libristo 05147842
ΕΕκδοτικός οίκος Springer International Publishing AG
Βάρος 6263
Διαστάσεις 155 x 235 x 235

Κατηγορία

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

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

Dynamical Oceanography Henk A. Dijkstra / Βιβλίο Χαρτόδετο
common.buy 50.58 €
Τοπ
Inside Florence Alessandro Moggi / Βιβλίο Σκληρόδετο
common.buy 55.74 €
CHASM MCEWAN STACEY / Βιβλίο Χαρτόδετο
common.buy 15.98 €
Christopher's Blade Scare Street / Βιβλίο Χαρτόδετο
common.buy 15.57 €
Landscape Don McCullin / Βιβλίο Σκληρόδετο
common.buy 54.73 €
I Want To Sleep: Why we struggle to sleep - How we can remedy it. MR Marios Savva / Βιβλίο Χαρτόδετο
common.buy 7.07 €
Positive Psychology in Sport and Physical Activity Abbe Brady / Βιβλίο Σκληρόδετο
common.buy 216.11 €
Handbook of Chinese Cultural Terms Dr Frances Weightman Weightman / Βιβλίο Χαρτόδετο
common.buy 17.49 €
Quantitative Logic And Soft Computing - Proceedings Of The Ql&sc 2012 Yongming Li / Βιβλίο Σκληρόδετο
common.buy 285.51 €
Προετοιμαζουμε
US Marine Corps Handbook 1941-45 George Forty / Βιβλίο Σκληρόδετο
common.buy 26.50 €
Προετοιμαζουμε
Pop Revolution Alex Goldfarb Marquis / Βιβλίο Χαρτόδετο
common.buy 16.08 €
Martyrdom and Literature in Early Modern England Susannah Brietz Monta / Βιβλίο Σκληρόδετο
common.buy 126.06 €
Metronomic Chemotherapy, 1 Guido Bocci / Βιβλίο Σκληρόδετο
common.buy 120.80 €
River Channel Restoration - Guiding Principles for Sustainable Projects Andrew Brookes / Βιβλίο Σκληρόδετο
common.buy 338.73 €
Προετοιμαζουμε
X-Men: The Hidden Years Jim Shooter / Βιβλίο Χαρτόδετο
common.buy 6.67 €
Προετοιμαζουμε
Peace and Conflict 2008 J. Joseph Hewitt / Βιβλίο Χαρτόδετο
common.buy 45.01 €
John Stainer Jeremy Dibble / Βιβλίο Σκληρόδετο
common.buy 184.24 €

Είσοδος

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

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

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

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

Δημιουργία λογαριασμού Libristo