Έλεγχος κατάστασης παραγγελίας

Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού

Δωρεάν αποστολή με 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

Πώς να κάνετε αγορές;

Βοήθεια

Ο λογαριασμός μου

▸ Άδειο :-(

Integrated Formal Methods

Name: Integrated Formal Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01663776
Price: 51.63 EUR
Availability: InStock
Author: Einar Broch Johnsen
ISBN: 9783642386121

10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

Einar Broch Johnsen

Luigia Petre

Γλώσσα

Αγγλική

Βιβλίο Χαρτόδετο

Κωδικός Libristo: 01663776

ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Μάιος 2013

This book constitutes the refereed proceedings of the 10th International Conference on Integrated Fo... Πλήρης περιγραφή

Κωδικός Libristo: 01663776

125 b

51.63 €

Εξωτερικός αποθηκευτικός χώρος Αποστέλλουμε σε 5-8 ημέρες

Παράδοση στην Ελλάδα

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

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

Manuel de communication non verbale appliquée - Le modèle de recours à la force évolué et les indices de menace Rossin-Arthiat

Χαρτόδετο

42.43 €

Crimson Spell. Bd.5 Ayano Yamane

Χαρτόδετο

9.29 €

Kunst Des 18. Jahrhunderts Edmond de Goncourt

Χαρτόδετο

43.85 €

Dançando tango em Istambul Melis Merih Kiliç

Χαρτόδετο

44.45 €

EINE KLEINE NACHTMUSIK KV 525 WOLFGANG AMADEUS MOZ Βιβλίο

binding.

11.51 €

Éléments de culture générale - 100 'colles' et sujets pour les prépas et les oraux des concours Dumont

Χαρτόδετο

31.01 €

Meine täglichen Übungen in Mathematik - 10. Schuljahr. H.3 Karlheinz Lehmann

Λίστα

10.70 €

Totenbuch DES Mainzer Dominikanerklosters Isnard W. Frank

Σκληρόδετο

109.13 €

Recht und Energie Peter Rosin

Σκληρόδετο

215.03 €

Rivalen unter roter Sonne, 1 Blu-ray Terence Young

Blu-ray

13.83 €

La biblia del ayurveda : guía definitiva de la sanación ayurvédica Anne McIntyre

Χαρτόδετο

21.31 €

This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. §The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. The papers cover the spectrum of integrated formal methods, focusing on refinement, integration, translation, verification, reachability and model checking, usability and testing, distributed systems, semantics, and system-level analysis.

Ηθοποιός & Πολύγλωσση

EWA KASP για

Αναπαραγωγή βίντεο

το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

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

Πλήρες όνομα Integrated Formal Methods

Συγγραφέας Einar Broch Johnsen, Luigia Petre

Γλώσσα

Αγγλική

Βιβλιοδεσία Βιβλίο - Χαρτόδετο

Ημερομηνία έκδοσης 2013

Αριθμός σελίδων 443

EAN 9783642386121

ISBN 3642386121

Κωδικός Libristo 01663776

ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Βάρος 700

Διαστάσεις 155 x 235 x 26

Κατηγορία

Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists

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 > Computer architecture & logic design

Χαρίστε αυτό το βιβλίο σήμερα

Είναι εύκολο

1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη