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

11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings

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

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

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

Mapa National Portugal, Madeira 2021 / Βιβλίο binding.
common.buy 12.72 €
Fullmetal Alchemist - tome 1 Terre de pierre Hiromu Arakawa / Βιβλίο Χαρτόδετο
common.buy 10.40 €
L'enfant du mistral Jean-Michel Thibaux / Βιβλίο Χαρτόδετο
common.buy 9.59 €
Régression avec Python Rouvière / Βιβλίο Χαρτόδετο
common.buy 41.42 €
S.O.S. Filosofia. Le risposte dei filosofi alle piccole e grandi emergenze della vita Simonetta Tassinari / Βιβλίο Χαρτόδετο
common.buy 16.26 €
Воля к жизни. Простые привычки, которые изменят твою жизнь. Книга 1 Андрей Беловешкин / Βιβλίο Χαρτόδετο
common.buy 15.75 €
Pays natal Dhotel / Βιβλίο Χαρτόδετο
common.buy 13.94 €
ENFERMEDAD DE PARKINSON Y OTROS TRASTORNOS DEL MOVIMIENTO SEN / Βιβλίο Χαρτόδετο
common.buy 56.58 €
Grundlagen des Zeichnens John Ruskin / Βιβλίο Σκληρόδετο
common.buy 21.62 €
Cuentos de amor, de locura y de muerte Horacio Quiroga / Βιβλίο Χαρτόδετο
common.buy 9.89 €
Handbuch Psychotherapie-Antrag Ingo Jungclaussen / Βιβλίο Χαρτόδετο
common.buy 71.54 €
Mark Aurels Selbstgesprache Marcus Aurelius Antonius / Βιβλίο Χαρτόδετο
common.buy 18.79 €
Curso de derecho administrativo laboral Ángel Blasco Pellicer / Βιβλίο Χαρτόδετο
common.buy 44.45 €
LOW 01: EL DELIRIO DE LA ESPERANZA REMENDER / Βιβλίο Χαρτόδετο
common.buy 20.50 €
Vie de Saint Louis de Gonzague, d'Apres V. Cepari, Son Premier Historien Charles Clair / Βιβλίο Χαρτόδετο
common.buy 28.49 €
Les Gantois En 1382. Tome 2, Tableaux 9 A 16 De Cort-G / Βιβλίο Χαρτόδετο
common.buy 23.23 €
Aggressiv Flirten Michael Wiesner / Βιβλίο Χαρτόδετο
common.buy 13.53 €
Essai sur la litterature merveilleuse des noirs, suivi de Contes indigenes de l'Ouest africain francais - Tome premier François Victor Équilbecq / Βιβλίο Σκληρόδετο
common.buy 20.50 €
Marktwirtschaft Im Unternehmen Conrad Mauritz / Βιβλίο Χαρτόδετο
common.buy 53.04 €
Grundformen der Angst Fritz Riemann / Βιβλίο Σκληρόδετο
common.buy 21.72 €
Auf dem Weg in einen »neuen Rechtsstaat«. Rainer Pitschas / Βιβλίο Χαρτόδετο
common.buy 95.38 €

This book constitutes the refereed proceedings of the 11th International Conference on Formal Engineering Methods, ICFEM 2009, held in Rio de Janeiro, Brazil, December 2009.§The 36 revised full papers together with two invited talks presented were carefully reviewed and selected from 121 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on Testing, Protocols, verification, model checking, object-orientation, event-b, compilation, process algebra, refinement, algebraic specifications and real-time systems.

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

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

Πλήρες όνομα Formal Methods and Software Engineering
Συγγραφέας Karin Breitman, Ana Cavalcanti
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2009
Αριθμός σελίδων 757
EAN 9783642103728
ISBN 3642103723
Κωδικός Libristo 01655066
ΕΕκδοτικός οίκος Springer, Berlin
Βάρος 1169
Διαστάσεις 155 x 235 x 30

Κατηγορία

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

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

Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis Afshin Izadian / Βιβλίο Χαρτόδετο
common.buy 65.47 €
Julissa's Reading Log Martha Day Zschock / Βιβλίο Σκληρόδετο
common.buy 16.66 €
Letters, Hitherto Unpublished, Written by Members of Sir Walter Scott's Family to Their Old Governess Anne Scott / Βιβλίο Σκληρόδετο
common.buy 35.46 €
The Words of Jesus in the Original Aramaic Stephen Andrew Missick / Βιβλίο Χαρτόδετο
common.buy 28.18 €
Typical Drama with Cloe-New School=New Life Cloe Demartino / Βιβλίο Σκληρόδετο
common.buy 25.25 €
Winter of Ice and Iron Rachel Neumeier / Βιβλίο Χαρτόδετο
common.buy 15.15 €
Cool-Doo Math - Grade 1&2 - Vol.03 - Black & White Version Andrew Feng / Βιβλίο Χαρτόδετο
common.buy 6.56 €
Diary of a Mad Black Man: Tears, Anger, Love, Faith Anthony B / Βιβλίο Χαρτόδετο
common.buy 8.98 €
Resurrecting Artwork MCGUIRE / Βιβλίο Χαρτόδετο
common.buy 13.83 €
Hydrogeology Dassargues / Βιβλίο Σκληρόδετο
common.buy 113.07 €
Practical Guide to Transcranial Direct Current Stimulation Helena Knotkova / Βιβλίο Σκληρόδετο
common.buy 170.87 €
KS2 Maths Daily Practice Book: Year 3 - Autumn Term CGP Books / Βιβλίο Χαρτόδετο
common.buy 7.87 €
Business Result: Elementary: Class Audio CD David Grant / Audio Audio CD
common.buy 35.26 €
State Crisis in Fragile Democracies Samuel Handlin / Βιβλίο Χαρτόδετο
common.buy 50.31 €
Language Testing and Assessment: From Theory to Practice Aek Phakiti / Βιβλίο Σκληρόδετο
common.buy 112.06 €
Understanding Gangs and Gang Violence in America MORALES / Βιβλίο Χαρτόδετο
common.buy 132.87 €
Essential Elements Jazz Play-Along - Jazz Standards: Flute, F Horn and Tuba (B.C.) [With CD (Audio)] Hal Leonard Corp / Βιβλίο Χαρτόδετο
common.buy 14.04 €
The Treasury of Knowledge and Library Reference Samuel Maunder / Βιβλίο Χαρτόδετο
common.buy 38.90 €
Sailor's Logbook Mark L. Thompson / Βιβλίο Χαρτόδετο
common.buy 35.26 €
Ethical and Professional Issues in Nursing W Tadd / Βιβλίο Χαρτόδετο
common.buy 68.20 €
Pippi Longstocking Astrid Lindgren / Βιβλίο Χαρτόδετο
common.buy 9.69 €
Quality Analysis and Packaging of Seafood Products Ashutosh Kumar Shukla / Βιβλίο Χαρτόδετο
common.buy 207.25 €
Love Wins Elizabeth Martin / ebook Adobe ePub DRM
common.buy 4.54 €
Formal Logic P. Lorenzen / Βιβλίο Χαρτόδετο
common.buy 102.86 €

Είσοδος

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

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

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

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

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