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

10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Formal Methods and Software Engineering Shaoying Liu
Κωδικός Libristo: 01570773
ΕΕκδοτικός οίκος Springer, Berlin, Νοέμβριος 2007
This book constitutes the refereed proceedings of the 10th International Conference on Formal Engine... Πλήρης περιγραφή
? points 141 b
58.35 €
Σε εξωτερική αποθήκη σε μικρές ποσότητες Αποστέλλουμε σε 13-18 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

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

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

Programmieren Lernen Peter Pepper / Βιβλίο Χαρτόδετο
common.buy 47.22 €
Grenzen, Nähe, Respekt Jesper Juul / Βιβλίο Χαρτόδετο
common.buy 11.82 €
Finanzpolitik im Umbruch: Zur Konsolidierung öffentlicher Haushalte. Hans Herbert von Arnim / Βιβλίο Χαρτόδετο
common.buy 84.74 €
Herrschaft Susanne Held / Βιβλίο Σκληρόδετο
common.buy 23.66 €
Richterrecht und Verfassung. Jörn Ipsen / Βιβλίο Χαρτόδετο
common.buy 65.93 €
matrimonio nel diritto ebraico Daniele Zaccheddu / Βιβλίο Χαρτόδετο
common.buy 32.66 €

This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008.§The 20 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 62 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification and verification; testing; verification; model checking and analysis; tools; application of formal methods; semantics.

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

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

Πλήρες όνομα Formal Methods and Software Engineering
Συγγραφέας Shaoying Liu, Tom Maibaum, Keijiro Araki
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2008
Αριθμός σελίδων 397
EAN 9783540881933
ISBN 354088193X
Κωδικός Libristo 01570773
ΕΕκδοτικός οίκος Springer, Berlin
Βάρος 635
Διαστάσεις 155 x 235 x 21

Κατηγορία

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

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

NUMIFORM 2010 Frederic Barlat / Βιβλίο Χαρτόδετο
common.buy 494.24 €
Essay Towards an Easy and Useful System of Logic Robert Blakey / Βιβλίο Σκληρόδετο
common.buy 34.07 €
Προετοιμαζουμε
Measuring the Early Modern and Modern Chinese Economy Ziang Liu / Βιβλίο Σκληρόδετο
common.buy 180.52 €
Kimi ni Todoke: From Me to You: Soulmate, Vol. 3 Karuho Shiina / Βιβλίο Χαρτόδετο
common.buy 9.70 €
Giorgio Strehler Directs Carlo Goldoni Scott Malia / ebook Adobe ePub DRM
common.buy 114.58 €
Horror Before It Was Cool Weasel Press / Βιβλίο Χαρτόδετο
common.buy 8.99 €
Lives Of Scottish Authors (1801) David Irving / Βιβλίο Χαρτόδετο
common.buy 25.17 €
Developing a Champion's Heart: Leadership Lessons from the Life of David Brian Rezendes / Βιβλίο Χαρτόδετο
common.buy 8.99 €
Ruins of Fate Jamie a Waters / Βιβλίο Σκληρόδετο
common.buy 16.68 €
Diana Carew Colonel Bridges / Βιβλίο Χαρτόδετο
common.buy 27.70 €
Embracing and Educating the Autistic Child Nicholas D. Young / Βιβλίο Χαρτόδετο
common.buy 39.23 €
Hive to Honey Julie Knutson / Βιβλίο Χαρτόδετο
common.buy 13.44 €
I Love You God Amal Ishraim / Βιβλίο Χαρτόδετο
common.buy 10.20 €
Three Lakes Alan Tulppo / Βιβλίο Σκληρόδετο
common.buy 26.08 €
Orienting Polymers J.-L. Ericksen / Βιβλίο Χαρτόδετο
common.buy 25.98 €
Microelectronics Education Ton J. Mouthaan / Βιβλίο Σκληρόδετο
common.buy 107.90 €
Statistical Analysis of Environmental Space-Time Processes Nhu D. Le / Βιβλίο Χαρτόδετο
common.buy 161.71 €
Yacoubian Building Alaa Al Aswany / Βιβλίο Χαρτόδετο
common.buy 10.81 €
So Far, So Goude Jean-Paul Goude / Βιβλίο Σκληρόδετο
common.buy 111.64 €
Body Image Breakthrough Jaci Wightman / Βιβλίο Χαρτόδετο
common.buy 12.53 €
The Garden Crew (We Read Phonics - Level 6) Sindy McKay / Βιβλίο Χαρτόδετο
common.buy 6.26 €
Film Business: A Handbook for Producers Tom Jeffrey / Βιβλίο Χαρτόδετο
common.buy 32.15 €

Είσοδος

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

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

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

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

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