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

FM 2015: Formal Methods

20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο FM 2015: Formal Methods Nikolaj Bj?rner
Κωδικός Libristo: 09277583
ΕΕκδοτικός οίκος Springer International Publishing AG, Μάιος 2015
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods... Πλήρης περιγραφή
? points 125 b
51.63 €
Σε εξωτερική αποθήκη Αποστέλλουμε σε 5-8 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

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

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

Happy House 3rd Edition 1 Class Audio CDs Stella Maidment / Audio Audio CD
common.buy 30.20 €
Schnelle thermische Prozessierung von Cu(In, Ga)Se2-Schichten Christian Merk / Βιβλίο Χαρτόδετο
common.buy 49.91 €
JACK LONDON KOZA / Βιβλίο Σκληρόδετο
common.buy 23.54 €
Die Ritter Vom Geiste, Volumes 1-2 Karl Gutzkow / Βιβλίο Χαρτόδετο
common.buy 33.14 €
Programmierkurs TURBO-PASCAL Version 7.0 Henning Mittelbach / Βιβλίο Χαρτόδετο
common.buy 51.83 €
Italie - 50 itinéraires de rêve collegium / Βιβλίο Χαρτόδετο
common.buy 34.45 €
1972 Dr Gustav Keller / Βιβλίο Χαρτόδετο
common.buy 7.87 €
Elf Freunde müßt ihr sein . . . Sammy Drechsel / Βιβλίο Σκληρόδετο
common.buy 13.53 €
Die drei ??? und der schreiende Zug Andreas Ruch / Βιβλίο Σκληρόδετο
common.buy 13.53 €
Aquí yace la amargura Cynthia Fleury / ebook Adobe ePub DRM
common.buy 6.56 €
Προετοιμαζουμε
Čti a hraj si s námi Ledové království / Βιβλίο Leporelo
common.buy 18.08 €

This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.

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

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

Πλήρες όνομα FM 2015: Formal Methods
Συγγραφέας Nikolaj Bj?rner, Frank de Boer
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2015
Αριθμός σελίδων 610
EAN 9783319192482
ISBN 3319192485
Κωδικός Libristo 09277583
ΕΕκδοτικός οίκος Springer International Publishing AG
Βάρος 9358
Διαστάσεις 155 x 235 x 235

Κατηγορία

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer science > Human–computer interaction > Information architecture
Computing & Information Technology > Computer hardware > Maintenance & repairs
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

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

KombiFiD - Combined Firm Data for Germany. Joachim Wagner / Βιβλίο Χαρτόδετο
common.buy 58.70 €
Seven Deadly Sins of White Christian Nationalism Carter Heyward / Βιβλίο Χαρτόδετο
common.buy 31.11 €
Louis Couturat: The History of Modern Symbolic Logic and Other French Manuscripts Oliver Schlaudt / Βιβλίο Σκληρόδετο
common.buy 143.89 €
Mind Diet for Beginners: 85 Recipes and a 7-Day Kickstart Plan to Boost Your Brain Health Kelli McGrane / Βιβλίο Χαρτόδετο
common.buy 15.15 €
Once Upon A Rhyme Julie Murrow / Βιβλίο Χαρτόδετο
common.buy 6.05 €
Federal Civil Penalties Inflation Adjustment Act Catch-Up Adjustments (US Occupational Safety and Health Administration Regulation) (OSHA) (2018 Editi The Law Library / Βιβλίο Χαρτόδετο
common.buy 20.20 €
Philosophy of Law Kant Immanuel Kant / Βιβλίο Χαρτόδετο
common.buy 23.23 €
Falstaff: Give Me Lifevolume 1 Harold Bloom / Βιβλίο Χαρτόδετο
common.buy 13.63 €
Thomas Merton and the Inclusive Imagination Ross Labrie / Βιβλίο Σκληρόδετο
common.buy 55.77 €
The 22-Day Revolution Marco Borges / Βιβλίο Σκληρόδετο
common.buy 25.56 €
To See My World In Rhythm And Rhyme Thomas Wayne Allen / Βιβλίο Χαρτόδετο
common.buy 18.18 €
Technology in Retrospect Michael J. Berson / Βιβλίο Χαρτόδετο
common.buy 64.76 €
Fallows Aaron Ross / Βιβλίο Σκληρόδετο
common.buy 29.50 €
Pip and Posy: The Bedtime Frog Axel Scheffler / Βιβλίο Σκληρόδετο
common.buy 10.80 €
Total Heart Health Robert Schneider / Βιβλίο Χαρτόδετο
common.buy 15.96 €
Manners of Interpretation Miguel Tamen / Βιβλίο Χαρτόδετο
common.buy 39.91 €
Hegel Reader Stephen Houlgate / Βιβλίο Σκληρόδετο
common.buy 160.06 €
Writer's Roadmap Wendell Wellman / Βιβλίο Χαρτόδετο
common.buy 15.15 €
Happily Ever After Annette Morris / Βιβλίο Χαρτόδετο
common.buy 12.82 €
Silent Scream Sandra A Jones / Βιβλίο Χαρτόδετο
common.buy 22.22 €
Little Joseph H Easley / Βιβλίο Σκληρόδετο
common.buy 25.35 €

Είσοδος

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

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

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

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

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