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

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

Δωρεάν αποστολή με 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 Components and Objects, FMCO 2002

Name: Formal Methods for Components and Objects, FMCO 2002
Brand: Springer, Berlin
SKU: 01558705
Price: 51.69 EUR
Availability: InStock
Author: Frank S. de Boer
ISBN: 9783540203032

First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002. Revised Lectures

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

125 b

51.69 €

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

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

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

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

Hirurgicheskie stenty i shiny, ispol'zuemye w chelüstno-licewyh protezah Anuq Thakur

Χαρτόδετο

32.06 €

E-commerce con meno di 1.000 euro. Come aprire un sito e renderlo redditizio Andrea Benedet

Χαρτόδετο

15.07 €

BABADADA black-and-white, Shona - Russkij âzyk (Latinskij bukvy), duramazwi rine mifananidzo - Ill?strirovannyj slovar?

Χαρτόδετο

7.88 €

Čovjek bez zemlje Kurt Vonnegut

Χαρτόδετο

4.54 €

Modelo de Neuroaprendizaje Basado en Organizadores Gráficos Milena González

Χαρτόδετο

61.41 €

LEGO Star Wars. Największy Mistrz Jedi! Opracowanie zbiorowe

Χαρτόδετο

5.15 €

ZAKLÍNAČ - komplet 1.-8. diel - box Andrzej Sapkowski

Χαρτόδετο

127.27 €

Portugals Traumküste Algarve (Wandkalender 2026 DIN A2 quer), CALVENDO Monatskalender Calvendo

Ημερολόγιο

59.18 €

En route ! Marbehant

Χαρτόδετο

9.40 €

Handschriften und Quellen von Willirams deutscher Paraphrase des Hohen Liedes JOSEPH SEEM LLER

Σκληρόδετο

109.26 €

Stoffwechsel Beschleunigen: 44 Relativ Unbekannte Tipps Um Fett Zu Verbrennen (Inkl. Rezept) Melanie Maier

Χαρτόδετο

10.82 €

Pexetrio Státy světa

Επιτραπέζιο παιχνίδι

8.99 €

Anselmo B Francisco Melgares

Χαρτόδετο

10.21 €

Der Identitatsroman Norbert Ratz

Σκληρόδετο

119.18 €

Clara Grunwald und Maria Montessori Diana Stiller

Χαρτόδετο

44.20 €

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

Χαρτόδετο

16.18 €

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

Χαρτόδετο

16.18 €

7. Schuljahr, Arbeitsheft Heinz Griesel

Λίστα

9.50 €

Gier Arne Dahl

Χαρτόδετο

10.01 €

Rub a líc mých pohlednic Egon Wiener

Λίστα

12.64 €

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

Σκληρόδετο

9.80 €

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.

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

EWA KASP για

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

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

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

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