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

Formal Methods and Software Engineering

9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Formal Methods and Software Engineering Michael Butler
Κωδικός Libristo: 01569538
ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Νοέμβριος 2007
This book constitutes the refereed proceedings of the 9th International Conference on Formal Enginee... Πλήρης περιγραφή
? points 141 b
58.40
Εξωτερικός αποθηκευτικός χώρος σε μικρές ποσότητες Αποστέλλουμε σε 13-18 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

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


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


LA ESPAÑA DE ABEL AURORA NACARINO-BRABO / Βιβλίο Χαρτόδετο
common.buy 21.21
Anthropozän - Klimawandel - Biodiversität Stascha Rohmer / Βιβλίο Σκληρόδετο
common.buy 34.85
Fados huérfanos / Βιβλίο Χαρτόδετο
common.buy 19.49
Kognitive Entwicklung nach Jean Piaget Sina Klar / Βιβλίο Χαρτόδετο
common.buy 14.44
Bébé Balthazar - Tout propre - Pédagogie Montessori 0/3 ans Marie-Hélène Place / Βιβλίο Βιβλίο
common.buy 10.30
MUSEO CERRALBO GUIA BREVE NE / Βιβλίο Χαρτόδετο
common.buy 4.64
Analyse de fragilité d'un bâtiment isolé de la base Husain Rangwala / Βιβλίο Χαρτόδετο
common.buy 54.26
Pierwsza szopka Fulvia Degl’Innocenti / Βιβλίο Σκληρόδετο
common.buy 5.65

This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The 19 revised full papers together with two invited talks presented were carefully reviewed and selected from 38 submissions. The papers address all current issues in formal methods and their applications in software engineering. The papers are organized in topical sections.

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

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

Πλήρες όνομα Formal Methods and Software Engineering
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2007
Αριθμός σελίδων 387
EAN 9783540766483
ISBN 3540766480
Κωδικός Libristo 01569538
ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Βάρος 611
Διαστάσεις 155 x 235 x 23
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

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


The World's Greatest Submarines David Frost / Βιβλίο Σκληρόδετο
common.buy 26.36
Content-Based Image and Video Retrieval Oge Marques / Βιβλίο Σκληρόδετο
common.buy 154.20
New England Conservatory Course in Sight-singing: (Solfeggio) Samuel W. (Samuel Winkley) 184 Cole / Βιβλίο Σκληρόδετο
common.buy 33.14
Taxation of Land Values in Western Canada (1914) Archibald Stalker / Βιβλίο Χαρτόδετο
common.buy 20.20
Of Ice and Shadows Audrey Coulthurst / Βιβλίο Σκληρόδετο
common.buy 14.34
Highland Fortitude Angela Polidoro / Βιβλίο Χαρτόδετο
common.buy 13.73
Disney Tunes Hal Leonard Corp / Βιβλίο Χαρτόδετο
common.buy 12.52
Tales from the New River - Cockney Sparrow Corner Tommy Kearney / Βιβλίο Χαρτόδετο
common.buy 11.81
Tribes of the Northern Territories of the Gold Coast Madeline Manoukian / Βιβλίο Σκληρόδετο
common.buy 191.59
Vincenzo's Reading Log Martha Day Zschock / Βιβλίο Σκληρόδετο
common.buy 16.66
Foundations of Digital Signal Processing Patrick Gaydecki / Βιβλίο Σκληρόδετο
common.buy 116.30
In Flanders Fields and Other Poems John McCrae / Βιβλίο Χαρτόδετο
common.buy 16.26
Information Security Mike Burmester / Βιβλίο Χαρτόδετο
common.buy 61.13
War Girls Adele Geras / Βιβλίο Χαρτόδετο
common.buy 9.69
Evolutionary Pathways in Nature John C Avise / Βιβλίο Χαρτόδετο
common.buy 86.69
Computer Graphics and Applications S. Y. Shin / Βιβλίο Σκληρόδετο
common.buy 163.29
Laser Modeling Mark Steven Csele / Βιβλίο Σκληρόδετο
common.buy 306.18
Multivariable Calculus Lawrence J. Corwin / Βιβλίο Σκληρόδετο
common.buy 188.05
Philosophical Moments Eric Collins / Βιβλίο Χαρτόδετο
common.buy 11.31
Quiet River's Demise Gabriel Zeldis / Βιβλίο Χαρτόδετο
common.buy 11.31
Choose Life Denice D Cook M D / Βιβλίο Χαρτόδετο
common.buy 17.07

Είσοδος

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

 
υποχρεωτικό
υποχρεωτικό

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

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

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