Αγαπητοί μας πελάτες, θα θέλαμε να σας ενημερώσουμε ότι η τηλεφωνική υποστήριξη δεν είναι διαθέσιμη σήμερα. Θα εξετάσουμε τα αιτήματά σας την επόμενη εργάσιμη ημέρα. Σας ευχαριστούμε για την κατανόησή σας.

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

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

Δωρεάν αποστολή με Box Now άνω των 69.99 €

DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € Σημείο ACS 3.99 €

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

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

Βοήθεια

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

▸ Άδειο :-(

Formal Methods for Embedded Distributed Systems

Name: Formal Methods for Embedded Distributed Systems
Brand: Springer-Verlag New York Inc.
SKU: 01418223
Price: 114.62 EUR
Availability: InStock
Author: Fabrice Kordon
ISBN: 9781402079962

How to master the complexity

Fabrice Kordon

Michel Lemoine

Γλώσσα

Αγγλική

Βιβλίο Σκληρόδετο

Κωδικός Libristo: 01418223

ΕΕκδοτικός οίκος Springer-Verlag New York Inc., Σεπτέμβριος 1991

The development of any Software (Industrial) Intensive System, e.g. critical embedded software, requ... Πλήρης περιγραφή

Κωδικός Libristo: 01418223

277 b

114.62 €

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

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

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

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

Produção científica e inovação na gestão pública Mirian Miranda Cohen

Χαρτόδετο

62.37 €

Zaya 3 Jia Wei Huang

Χαρτόδετο

20.34 €

ICH LIEBE ES, WENN MEINE FRAU MICH ZUM DART SPIELEN GEHEN LÄSST - Gewohnheitstracker Gewohnheitstracker Notizbuch

Χαρτόδετο

11.13 €

Ve špatné rodině Tarryn Fisher

Σκληρόδετο

13.05 €

Jaroslav Velc V oblacích Ondřej Neff

Σκληρόδετο

80.09 €

Érotique de l'administration Deslandes

Βιβλίο

21.66 €

Physik 9./10. Schuljahr. Sachsen-Anhalt - Schulbuch

Σκληρόδετο

32.90 €

CAHORS 2024 BLAY-FOLDEX

Χαρτόδετο

10.72 €

Nachweis von bakteriellen und viralen Erregern, die für das Massensterben verantwortlich sind Shuvho Chakra Borty

Χαρτόδετο

44.55 €

detective difettoso. Ritorno al futuro per il romanzo poliziesco Roberto Barbolini

Χαρτόδετο

26.12 €

Capire l'ecologia: Fase 1 Ifueko Oghogho Ukponmwan

Χαρτόδετο

55.18 €

ROTHER Wanderführer Rund um Innsbruck. 54 Touren im Karwendel, in den Tuxer Alpen und im Sellrain Mark Zahel

Χαρτόδετο

16.19 €

Čeština expres 1 (A1/1) Lída Holá

Χαρτόδετο

15.79 €

Jednou když jsem výjimečně kouřil aneb Kuřácké povídky Remi Kloos

Χαρτόδετο

1.81 €

Neue Medien im Englischunterricht Silvia Hennig

Χαρτόδετο

16.19 €

Antiker Humanismus als padagogische Bewegung Jannina Schreiber

Χαρτόδετο

16.19 €

R Tsel Mann - Das R Tsel Frau Jolie. de

Χαρτόδετο

7.69 €

gestohlene Weihnachtsfrieden Herbert Langer

Χαρτόδετο

9.00 €

Deutsch-Franzoesische Krieg von 1870/71 im Lichte des Neorealismus Eike-Christian Kersten

Χαρτόδετο

14.47 €

Onu Da Sonra Anlatirim Okan Cil

Χαρτόδετο

9.20 €

Defesa tecnica, eficiencia e garantismo Santiago Grilo Fabiano Franklin

Χαρτόδετο

29.46 €

Martha Kim Marjana Gaponenko

Χαρτόδετο

11.23 €

Llanto por Ignacio Sánchez Mejías Federico García Lorca

Χαρτόδετο

50.32 €

Barcelona: La ciudad de Gaudí Moix Puig

Χαρτόδετο

13.15 €

The development of any Software (Industrial) Intensive System, e.g. critical embedded software, requires both different notations, and a strong development process. Different notations are mandatory because different aspects of the Software System have to be tackled. A strong development process is mandatory as well because without a strong organization we cannot warrantee the system will meet its requirements. Unfortunately, much more is needed! Formal Methods for Embedded Distributed Systems is dedicated to the presentation of some techniques to be used in the context of distributed and/or embedded systems. Since formal techniques rely on models, i.e. different descriptions of the system to be designed, the presented techniques are located in the first part of software development. Formal Methods for Embedded Distributed Systems makes many connections between "traditional development approaches" and the latest developments in formal techniques that are known as the best solution to significantly increase the reliability of such systems. The target audience is mainly composed of professionals (engineers, researchers and teachers), and students (graduated and postgraduated) who want to have a clear understanding of how to manage the inherent complexity of critical and/or distributed systems.

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

EWA KASP για

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

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

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

Πλήρες όνομα Formal Methods for Embedded Distributed Systems

Συγγραφέας Fabrice Kordon, Michel Lemoine

Γλώσσα

Αγγλική

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

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

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

EAN 9781402079962

ISBN 1402079966

Κωδικός Libristo 01418223

ΕΕκδοτικός οίκος Springer-Verlag New York Inc.

Βάρος 1290

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

Κατηγορία

Computing & Information Technology > Graphical & digital media applications > Computer-aided design (CAD)

Computing & Information Technology > Computer programming / software engineering > Programming techniques

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

Computing & Information Technology > Operating systems

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

Είναι εύκολο

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