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

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

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

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

Βοήθεια

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

▸ Άδειο :-(

Formal Methods for Open Object-Based Distributed Systems

Name: Formal Methods for Open Object-Based Distributed Systems
Brand: Springer, Berlin
SKU: 01558784
Price: 51.63 EUR
Availability: InStock
Author: Elie Najm
ISBN: 9783540204916

6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings

Elie Najm

Uwe Nestmann

Perdita Stevens

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 01558784

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

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

Κωδικός Libristo: 01558784

125 b

51.63 €

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

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

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

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

Biblioteca Escolar na Visao dos Estudantes do Curso Pedagogia UFAL Maria Rejane Silva Barros

Χαρτόδετο

44.45 €

EL CRIMEN DE LAS HERMANAS CRUZ De Ganzo

Σκληρόδετο

24.75 €

grande libro dei tarocchi Roberto La Paglia

Χαρτόδετο

23.23 €

Guida di Enna per ragazzi Lietta Valvo Grimaldi

Βιβλίο

14.04 €

This book constitutes the refereed proceedings of the 6th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2003, held in Paris, France in November 2003.§The 18 revised full papers presented together with an invited paper were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on models, logic and verification, calculi, Java and .NET, UML, and composition and verification.

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

EWA KASP για

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

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

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

Πλήρες όνομα Formal Methods for Open Object-Based Distributed Systems

Συγγραφέας Elie Najm, Uwe Nestmann, Perdita Stevens

Γλώσσα

Αγγλική

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

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

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

EAN 9783540204916

ISBN 3540204911

Κωδικός Libristo 01558784

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

Βάρος 499

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

Κατηγορία

Computing & Information Technology > Computer hardware > Network hardware

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters

Computing & Information Technology > Computer programming / software engineering > Object-oriented programming (OOP)

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