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

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

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

Name: Formal Methods for Components and Objects
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01571145
Price: 51.73 EUR
Availability: InStock
Author: Frank S. de Boer
ISBN: 9783540921875

6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Frank S. de Boer

Marcello M. Bonsangue

Susanne Graf

Willem-Paul de Roever

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 01571145

ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Νοέμβριος 2008

Formal methods have been applied successfully to the verification of medium-sized programs in protoc... Πλήρης περιγραφή

Κωδικός Libristo: 01571145

125 b

51.73 €

Σε εξωτερική αποθήκη Αποστέλλουμε σε 5-8 ημέρες

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

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

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

Das Baukastensystem in Der Technik K. H. Borowski

Χαρτόδετο

77.15 €

Ohne Manni lauft nix Peggy Schroder

Adobe ePub DRM

3.23 €

Der Präparator und Konservator Robert Voegler

Χαρτόδετο

26.82 €

Комплект "Праздник как по нотам. Изысканный стол". Ф. Шмитт

Σκληρόδετο

50.32 €

Aramon Temps Anciens, Administration, Temps Modernes ""

Χαρτόδετο

46.06 €

S navigací osudu Marcela Mlynářová

Σκληρόδετο

10.42 €

Histoire Des Ducs De Bourgogne De La Maison De Valois, 1364-1477; Georges Chastellain

Χαρτόδετο

29.15 €

KoboldKroniken 3. Klassenfahrt mit Klabauter Daniel Bleckmann

Adobe ePub DRM

11.03 €

Orígenes de las lenguas neolatinas Carlos Tagliavini

Χαρτόδετο

35.03 €

Meine Weihnachtsgeschichten Tobi Leilason

Χαρτόδετο

11.64 €

Listy Josefa Floriana Jaroslavu Janouchovi Ladislav Janouch

Χαρτόδετο

9.00 €

ANTI-MARX JUAN RAMON RALLO

Χαρτόδετο

29.46 €

La superficie de la Tierra, I Jose Lugo Hubp

Adobe ePub DRM

3.23 €

FrühStücke, 3 Audio-CDs Willy Astor

Audio CD

36.44 €

Finanzplaner TV Jörg Birkelbach

Χαρτόδετο

42.52 €

Sgrammit: quaderno verde 1. «Il testo narrativo e il testo descrittivo»

Χαρτόδετο

13.76 €

Gorputza eta generoa ALVAREZ URIA

Βιβλίο

12.45 €

Algorytmica Marion Herzog

Χαρτόδετο

14.47 €

J'aime la maternelle - Mes activités effaçables - Grande section 5-6 ans

Βιβλιοδεσία με σπιράλ

12.55 €

Bracelet pierres baroques et éléments métalliques - Hématite

binding.

5.15 €

Storytelling im Business. Vermarkten anhand von Geschichten Julia Heese

Χαρτόδετο

35.33 €

Veľká kniha zvukov - Zvieratá neuvedený autor

Leporelo

13.26 €

Cours De Philosophie Positive V4: La Partie Dogmatique De La Philosophie Sociale (1869) Auguste Comte

Χαρτόδετο

43.13 €

Entdecke das Heilige in dir Anselm Grün

Λίστα

5.15 €

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java.§The 6th International Symposium on Formal Methods for Components and Objects, FMCO 2007, was held in Amsterdam, The Netherlands, in October 2007. This book presents 12 revised papers submitted after the symposium by the speakers of each of the following European IST projects: the IST-FP6 project Mobius, developing the technology for establishing trust and security for the next generation of global computers; the IST-FP6 project SelfMan on self management for large-scale distributed systems based on structured overlay networks and components; the IST-FP6 project GridComp and the FP6 CoreGRID Network of Excellence on grid programming with components; the Real-time component cluster of the Network of Excellence on Embedded System Design ARTIST, focussing on design processes, and architectures for real-time embedded systems; and the IST-FP6 project CREDO on modeling and analysis of evolutionary structures for distributed services.

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

EWA KASP για

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

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

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

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

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

Γλώσσα

Αγγλική

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

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

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

EAN 9783540921875

ISBN 3540921877

Κωδικός Libristo 01571145

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

Βάρος 498

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

Κατηγορία

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures

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