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

19th International Symposium, Singapore, May 12-16, 2014. Proceedings

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

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

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

La Huerta y la Casa Grande de Pozuelo de Alarcón Montero Sánchez / Βιβλίο Χαρτόδετο
common.buy 15.41 €
Pneumologie Margelidon / Βιβλίο Χαρτόδετο
common.buy 21.05 €
FONCTIONS PERSONNALISEES EN PYTHON REY PATRICE / Βιβλίο Χαρτόδετο
common.buy 22.57 €
Cahier d'algorithmique et de programmation 4e (2018) - Cahier élève SAUZEAU / Βιβλίο Χαρτόδετο
common.buy 9.77 €
Decouverte Des Grandes Sources Du Centre de l'Afrique: Rivieres de Vie, Rivieres de Mort, Nana Lenfant-E / Βιβλίο Χαρτόδετο
common.buy 26.29 €
Des Finances Publiques En France De Menainville-E / Βιβλίο Χαρτόδετο
common.buy 13.70 €
Formen und Verfahren der Leistungsfeststellung in der Pflegeausbildung Nils Pohler / Βιβλίο Χαρτόδετο
common.buy 40.00 €
Disney Die Eiskönigin - Völlig unverfroren Freundebuch / Βιβλίο Σκληρόδετο
common.buy 8.76 €

This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presented together with 3 invited talks were carefully reviewed and selected from 150 submissions. The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.

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

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

Πλήρες όνομα FM 2014: Formal Methods
Συγγραφέας Cliff Jones, Pekka Pihlajasaari, Jun Sun
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2014
Αριθμός σελίδων 750
EAN 9783319064093
ISBN 3319064096
Κωδικός Libristo 02581552
ΕΕκδοτικός οίκος Springer International Publishing AG
Βάρος 1157
Διαστάσεις 155 x 235 x 40

Κατηγορία

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

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

Exterior Billiards Alexander Plakhov / Βιβλίο Σκληρόδετο
common.buy 51.49 €
7+ English Cloze Test: Year 2 Moon Tuition / Βιβλίο Χαρτόδετο
common.buy 9.77 €
Green Energy: Technologies and Systems DAVID MCCARTNEY / Βιβλίο Σκληρόδετο
common.buy 126.88 €
Ethics in Planning Martin Wachs / Βιβλίο Σκληρόδετο
common.buy 217.58 €
Aunty Felicia Returns: Aunty Felicia Series MR Philip Begho / Βιβλίο Χαρτόδετο
common.buy 8.05 €
Cat and the Beautiful Mrs. Butterfly Lena Anderson / Βιβλίο Χαρτόδετο
common.buy 20.15 €
Fresh Fruits: A 30 Day Devotional Jennifer Bushnell / Βιβλίο Χαρτόδετο
common.buy 10.77 €
Φθηνά
I Dare to Heal: With Compassionate Love Joel Vorensky / Βιβλίο Χαρτόδετο
common.buy 1.10 €
Detroit's Historic Places of Worship Marla O. Collum / Βιβλίο Χαρτόδετο
common.buy 44.33 €
Τοπ
BANDS OF MOURNING Brandon Sanderson / Βιβλίο Σκληρόδετο
common.buy 23.47 €
Canada West Marco Polo Pocket Travel Guide - with pull out map Marco Polo / Βιβλίο Χαρτόδετο
common.buy 13.90 €
Τοπ
All-Star Superman Grant Morrison / Βιβλίο Χαρτόδετο
common.buy 7.45 €
England and South Africa. Edward J Gibbs / Βιβλίο Χαρτόδετο
common.buy 20.45 €
Mob Justice Anju Khosla / Βιβλίο Σκληρόδετο
common.buy 57.84 €
Ethics of Captivity Lori Gruen / Βιβλίο Σκληρόδετο
common.buy 164.27 €
Προετοιμαζουμε
Other Jerome K Jerome Martin Green / Βιβλίο Χαρτόδετο
common.buy 16.01 €
First Ladies of Rome Annelise Freisenbruch / Βιβλίο Χαρτόδετο
common.buy 18.03 €
Spooks the Unofficial History of MI5 From the First Atom Spy to 7/7 1945-2009 Thomas Hennessey / Βιβλίο Χαρτόδετο
common.buy 20.85 €
Handbook of Western Palearctic Birds Hadoram Shirihai / Βιβλίο Σκληρόδετο
common.buy 155.19 €

Είσοδος

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

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

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

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

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