Έλεγχος κατάστασης παραγγελίας
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Πώς να κάνετε αγορές;
Αγαπητοί μας πελάτες, θα θέλαμε να σας ενημερώσουμε ότι η τηλεφωνική υποστήριξη δεν είναι διαθέσιμη σήμερα. Θα εξετάσουμε τα αιτήματά σας την επόμενη εργάσιμη ημέρα. Σας ευχαριστούμε για την κατανόησή σας.

Formal Methods and Software Engineering

15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings

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

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

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

De la création ? la saturation du concept : L'esthétique relationnelle Fiona Vilmer / Βιβλίο Χαρτόδετο
common.buy 64.09 €
Diario sereto de Pulgarcito Philippe Lechermeier / Βιβλίο Χαρτόδετο
common.buy 20.95 €
Organizacao familiar agricola Raquel Silvestrin Zanon / Βιβλίο Χαρτόδετο
common.buy 37.86 €
Abgründe des Alltags Silja Kyrada / Βιβλίο Χαρτόδετο
common.buy 9.41 €
Goebekli Tepe Harry Eilenstein / Βιβλίο Χαρτόδετο
common.buy 29.46 €
JE COLORIE A L'INFINI - FERME Βιβλίο binding.
common.buy 11.64 €
PROTEUS VOLUMES 1 ET 2 LOUIS RAFFIN Βιβλίο Χαρτόδετο
common.buy 36.14 €
ENDODONCIA ROTATORIA EN DIENTES PRIMARIOS Mukesh Kumar / Βιβλίο Χαρτόδετο
common.buy 61.46 €

This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revised full papers together with 2 keynote speeches presented were carefully reviewed and selected from 88 submissions. The topics covered are abstraction and refinement, formal specification and modeling, program analysis, software verification, formal methods for software safety, security, reliability and dependability, tool development, integration and experiments involving verified systems, formal methods used in certifying products under international standards, and formal model-based development and code generation.

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

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

Πλήρες όνομα Formal Methods and Software Engineering
Συγγραφέας Lindsay Groves, Jing Sun
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2013
Αριθμός σελίδων 466
EAN 9783642412011
ISBN 3642412017
Κωδικός Libristo 02084745
ΕΕκδοτικός οίκος Springer, Berlin
Βάρος 735
Διαστάσεις 154 x 234 x 24

Κατηγορία

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

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

Advances in Cryptology - ASIACRYPT 2002 Yuliang Zheng / Βιβλίο Χαρτόδετο
common.buy 51.73 €
The Ultimate Teacher Gift: A Humorous Middle Grade Novel Cailey Appenzeller / Βιβλίο Χαρτόδετο
common.buy 8.09 €
Unwise Woman of Fuggis Mire Raven Dane / Βιβλίο Χαρτόδετο
common.buy 21.25 €
Ketchup with the Jessup's Carissa Bryant / Βιβλίο Χαρτόδετο
common.buy 22.27 €
Speech of the Hon. Henry Clay, on the Subject of the Removal of the Deposites; Delivered in the Senate of the United States, December 26, 30, 1833 Clay / Βιβλίο Σκληρόδετο
common.buy 31.18 €
Identity and Personhood Laurance Joseph Splitter / Βιβλίο Χαρτόδετο
common.buy 51.73 €
Marius and the Cloud: A tale about homosexuality for children Raquel Huete Iglesias / Βιβλίο Χαρτόδετο
common.buy 13.26 €
Lonely Planet New Zealand Planet Lonely / Βιβλίο Χαρτόδετο
common.buy 32.19 €
Contested Criminalities in Zimbabwean Fiction Tendai Mangena / Βιβλίο Σκληρόδετο
common.buy 216.29 €
Seven Black Diamonds Melissa Marr / Βιβλίο Χαρτόδετο
common.buy 9.00 €
Post-Qualitative Research and Innovative Methodologies Mark Murphy / Βιβλίο Σκληρόδετο
common.buy 176.08 €
Matzah Balls to Communion Wafers Gail Baker / Βιβλίο Σκληρόδετο
common.buy 34.82 €
Quiche Cookbook: Delicious Quiche Recipes that Will Create the Perfect Breakfast or Brunch Dish Stephanie Sharp / Βιβλίο Χαρτόδετο
common.buy 13.76 €
Digital Marketing for Doctors Dibakar Bala / Βιβλίο Χαρτόδετο
common.buy 16.29 €
Τοπ
Bungo Stray Dogs: Wan!, Vol. 11 Kevin Gifford / Βιβλίο Χαρτόδετο
common.buy 11.33 €
Τοπ
Strange Case of Dr Jekyll and Mr Hyde Stevenson / Βιβλίο Χαρτόδετο
common.buy 4.55 €
Titanic Stephanie Barczewski / Βιβλίο Χαρτόδετο
common.buy 43.63 €
Τοπ
Mobile Suit Gundam: The Origin 3 Yoshikazu Yasuhiko / Βιβλίο Σκληρόδετο
common.buy 22.88 €
History of the Town of Belfast with ... a Statistical Survey of the Parish of Belfast, Etc. [By George Benn.] George Benn / Βιβλίο Χαρτόδετο
common.buy 31.18 €
Τοπ
Mr Monster Dan Wells / Βιβλίο Χαρτόδετο
common.buy 11.84 €
240 Best-ever Chilli Recipes Jenni Fleetwood / Βιβλίο Χαρτόδετο
common.buy 10.82 €
Titanic 100th Anniversary Edition Stephanie Barczewski / Βιβλίο Χαρτόδετο
common.buy 55.58 €
Legal Aspects of Health Information Management Dana C. McWay / Βιβλίο Σκληρόδετο
common.buy 114.62 €
Sonnets and the English Woman Writer, 1560-1621 Rosalind Smith / Βιβλίο Σκληρόδετο
common.buy 58.52 €

Είσοδος

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

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

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

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

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