[email protected] Θα απαντήσουμε εντός 24 ωρών

[email protected]

ACS 6.49 € DHL courier 9.99 € Speedex 5.99 € Σημείο ACS 6.49 € Elta 3.99 € Σημείο Elta 3.99 € Box Now 3.99 €

Επικοινωνία phone

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

Βοήθεια

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

▸ Άδειο :-(

Formal Methods for Components and Objects

Name: Formal Methods for Components and Objects
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02016940
Price: 58.41 EUR
Availability: InStock

Elena Giachino

Reiner Hähnle

Frank S. de Boer

Marcello M. Bonsangue

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 02016940

ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Αύγουστος 2013

This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and... Πλήρης περιγραφή

Κωδικός Libristo: 02016940

146 b

58.41 €

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

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

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

A model-based approach for exploring the space of adaptation behaviors of safety-related embedded systems. Rasmus Adler

/ Χαρτόδετη βιβλιοδεσία

40.55 €

Defense of Abortion David Boonin

/ Χαρτόδετη βιβλιοδεσία

34.90 €

Captive Audience Susan P Crawford

/ Χαρτόδετη βιβλιοδεσία

30.56 €

Fallorientierte Didaktik Elisabeth Enengl

/ Χαρτόδετη βιβλιοδεσία

46.81 €

Tod am Maschteich Marion Griffiths-Karger

/ Χαρτόδετη βιβλιοδεσία

11.39 €

Der Schrei Ins Leben Elke Blessing

/ Χαρτόδετη βιβλιοδεσία

43.88 €

Hütchen aus der Eiche Gerhard Stadler

/ Σκληρόδετη βιβλιοδεσία

19.26 €

Advances in Web-Based Learning - ICWL 2004 Wenyin Liu

/ Χαρτόδετη βιβλιοδεσία

64.16 €

This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. §The 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components. The book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems.

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

Πλήρες όνομα Formal Methods for Components and Objects

Συγγραφέας Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue

Γλώσσα

Αγγλική

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

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

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

EAN 9783642406140

ISBN 3642406149

Κωδικός Libristo 02016940

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

Βάρος 3869

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

Κατηγορία

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

Παράδοση

Οδηγός αγορών