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

Formal Methods and Software Engineering

13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Formal Methods and Software Engineering Shengchao Qin
Κωδικός Libristo: 01659032
ΕΕκδοτικός οίκος Springer, Berlin, Νοέμβριος 2010
This book constitutes the refereed proceedings of the 13th International Conference on Formal Engine... Πλήρης περιγραφή
? points 125 b
51.69 €
Εξωτερικός αποθηκευτικός χώρος Αποστέλλουμε σε 8-11 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

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

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

Il Devoto-Oli dei sinonimi e contrari. Con analoghi, generici, inversi e gradazioni semantiche Maurizio Trifone / Βιβλίο Χαρτόδετο
common.buy 81.54 €
Akademia owoce Opracowanie zbiorowe / Βιβλίο Χαρτόδετο
common.buy 2.62 €
Poesies Choisies Et Pieces Inedites d'Alexis Piron PIRON-A / Βιβλίο Χαρτόδετο
common.buy 27.41 €
Die «andere» Familie Arbeitskreis "Repräsentationen" / Βιβλίο Σκληρόδετο
common.buy 120.70 €
Commentaria in decem Categorias Aristotelis Simplicius / Βιβλίο Σκληρόδετο
common.buy 169.56 €

This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting.

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

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

Πλήρες όνομα Formal Methods and Software Engineering
Συγγραφέας Shengchao Qin, Zongyan Qiu
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2011
Αριθμός σελίδων 670
EAN 9783642245589
ISBN 3642245587
Κωδικός Libristo 01659032
ΕΕκδοτικός οίκος Springer, Berlin
Βάρος 1143
Διαστάσεις 155 x 235 x 35

Κατηγορία

Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
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
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

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

Paragraph Writing Jo Ellen Moore / Βιβλίο Χαρτόδετο
common.buy 15.17 €
Masonic Tour Guide - Volume 2 DANIEL HANTTULA / Βιβλίο Χαρτόδετο
common.buy 21.34 €
At The End Of The Day William J Epp / Βιβλίο Χαρτόδετο
common.buy 20.33 €
The Keys Are Gone: A simple critique of the English Standard Version (ESV) Dr Daniel S Haifley / Βιβλίο Χαρτόδετο
common.buy 9.91 €
Τοπ
Ruhnama: The Book of the Soul (Annotated Version) Saparmyrat Turkmenbasy / Βιβλίο Χαρτόδετο
common.buy 10.82 €
Vogue x Music Magazine Vogue / Βιβλίο Σκληρόδετο
common.buy 57.76 €
Jean Prouvé Jean Prouvé / Βιβλίο Σκληρόδετο
common.buy 28.52 €
Die verlore bokkie (Afrikaans) Amanda Jesperson / Βιβλίο Χαρτόδετο
common.buy 5.86 €
Classification of the Bantu Languages bound with Bantu Word Division Malcolm Guthrie / Βιβλίο Χαρτόδετο
common.buy 54.73 €
Iron Ship-Building - With Practical Illustrations John Grantham / Βιβλίο Σκληρόδετο
common.buy 38.94 €
Odes Sharon Olds / Βιβλίο Χαρτόδετο
common.buy 13.95 €
Speakout Advanced 2nd Edition Students' Book and DVD-ROM Pack Antonia Clare / Βιβλίο Χαρτόδετο
common.buy 36.41 €
Impact of the Environment on Psychiatric Disorder Hugh Freeman / Βιβλίο Σκληρόδετο
common.buy 97.02 €
Arab and Arab American Feminisms Rabab Ibrahim Abdulhadi / Βιβλίο Σκληρόδετο
common.buy 37.02 €

Είσοδος

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

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

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

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

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