[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, FMCO 2002

Name: Formal Methods for Components and Objects, FMCO 2002
Brand: Springer, Berlin
SKU: 01558705
Price: 64.16 EUR
Availability: InStock

Frank S. de Boer

Marcello M. Bonsangue

Susanne Graf

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 01558705

ΕΕκδοτικός οίκος Springer, Berlin, Νοέμβριος 2002

This book presents revised tutorial lectures given by invited speakers at the First International Sy... Πλήρης περιγραφή

Κωδικός Libristo: 01558705

161 b

64.16 €

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

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

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

Květa Fialová pod křídly andělů Josef Kubáník

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

8.57 €

Clara Grunwald und Maria Montessori Diana Stiller

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

71.93 €

Computer Safety, Reliability, and Security Rune Winther

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

64.16 €

Algebraic Geometry Solomon Lefschetz

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

154.36 €

lo fizo, fizo lo, fizol - Die Stellung der Klitika im 13. Jahrhundert und der Gegenwart Theresa Zuschnegg

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

41.26 €

7. Schuljahr, Arbeitsheft Heinz Griesel

/ Λίστα

9.57 €

Kolonien im Roemischen Reich mit besonderer Berucksichtigung der Zeit der Gracchen Andreas Staggl

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

38.23 €

Fundamentals of Radiation Materials Science Gary Was

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

112.09 €

Communal Organization and Social Transition Barry Laffan

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

59.22 €

Gier Arne Dahl

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

10.28 €

This book presents revised tutorial lectures given by invited speakers at the First International Symposium on Formal Methods for Components and Objects, FMCO 2002, held in Leiden, The Netherlands, in November 2002.The 21 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to complex software systems such as components and object systems. The book makes a unique contribution to bridging the gap between theory and practice in software engineering.

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

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

Συγγραφέας Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf

Γλώσσα

Αγγλική

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

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

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

EAN 9783540203032

ISBN 3540203036

Κωδικός Libristo 01558705

ΕΕκδοτικός οίκος Springer, Berlin

Βάρος 800

Διαστάσεις 156 x 234 x 26

Κατηγορία

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

Computing & Information Technology > Operating systems

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

Είναι εύκολο

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

Παράδοση

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