Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Formal Techniques for Distributed Systems
Lieferzeit: Lieferbar innerhalb 14 Tagen
53,49 €
inkl. 7 % MwSt. zzgl. Versandkosten
Joint IFIP WG 6.1 International Conferences, FMOODS 2013 and FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5,2013, Proceedings – Lecture Notes in Computer Science /, Lecture Notes in Computer Science 7892 – Programming and Software Engineering
| ISBN: | 3642385915 |
|---|---|
| ISBN 13: | 9783642385919 |
| Herausgeber: | Dirk Beyer/Michele Boreale |
| Verlag: | Springer Verlag GmbH |
| Umfang: | xiv, 321 S., 66 s/w Illustr., 321 p. 66 illus. |
| Erscheinungsdatum: | 16.05.2013 |
| Auflage: | 1/2013 |
| Format: | 1.8 x 23.5 x 15.5 |
| Gewicht: | 507 g |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Formal Methods for Open Object-Based Distributed Systems]()
Formal Methods for Open Object-Based Distributed Systems
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Distributed Intelligent Systems]()
Distributed Intelligent Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques for Data Base Design]()
Formal Techniques for Data Base Design
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques for Distributed Systems]()
Formal Techniques for Distributed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Protocol Engineering and Distributed Systems]()
Formal Methods for Protocol Engineering and Distributed Systems
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrency Control Techniques for Object Oriented Distributed Systems]()
Concurrency Control Techniques for Object Oriented Distributed Systems
79,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Distributed Computing and Optimization Techniques]()
Distributed Computing and Optimization Techniques
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Modelling Distributed Systems]()
Modelling Distributed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Replication Techniques in Distributed Systems]()
Replication Techniques in Distributed Systems
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Systems of Formal Logic]()
Systems of Formal Logic
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques for Distributed Objects, Components, and Systems]()
Formal Techniques for Distributed Objects, Components, and Systems
68,48 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Open Object-Based Distributed Systems]()
Formal Methods for Open Object-Based Distributed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques for Networked and Distributed Systems - FORTE 2006]()
Formal Techniques for Networked and Distributed Systems – FORTE 2006
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques for Distributed Systems]()
Formal Techniques for Distributed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Progress in Distributed Operating Systems and Distributed Systems Management]()
Progress in Distributed Operating Systems and Distributed Systems Management
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques for Safety-Critical Systems]()
Formal Techniques for Safety-Critical Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Kommunikation und Integration mobiler Geräte in formale und nicht formale Systeme]()
Kommunikation und Integration mobiler Geräte in formale und nicht formale Systeme
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Open Object-Based Distributed Systems IV]()
Formal Methods for Open Object-Based Distributed Systems IV
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques for Networked and Distributed Systems - FORTE 2004]()
Formal Techniques for Networked and Distributed Systems – FORTE 2004
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Embedded Distributed Systems]()
Formal Methods for Embedded Distributed Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Distributed Parameter Systems]()
Distributed Parameter Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques for Distributed Objects, Components, and Systems]()
Formal Techniques for Distributed Objects, Components, and Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Distributed Operating Systems]()
Distributed Operating Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Estimation Techniques for Distributed Parameter Systems]()
Estimation Techniques for Distributed Parameter Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Highly-Distributed Systems]()
Highly-Distributed Systems
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Distributed System Development]()
Formal Methods for Distributed System Development
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques for Networked and Distributed Systems - FORTE 2007]()
Formal Techniques for Networked and Distributed Systems – FORTE 2007
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reliable Distributed Systems]()
Reliable Distributed Systems
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Open Distributed Systems]()
Open Distributed Systems
54,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Distributed Computing and Optimization Techniques]()
Distributed Computing and Optimization Techniques
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques in Real-Time and Fault-Tolerant Systems]()
Formal Techniques in Real-Time and Fault-Tolerant Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques for Distributed Objects, Components, and Systems]()
Formal Techniques for Distributed Objects, Components, and Systems
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Open Object-Based Distributed Systems V]()
Formal Methods for Open Object-Based Distributed Systems V
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Dynamical Systems]()
Formal Methods for Dynamical Systems
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Modelling Distributed Systems]()
Modelling Distributed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Scalable Techniques for Formal Verification]()
Scalable Techniques for Formal Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Open Object-Based Distributed Systems]()
Formal Methods for Open Object-Based Distributed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formale Methoden und kleine Systeme]()
Formale Methoden und kleine Systeme
74,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques for Distributed Objects, Components, and Systems]()
Formal Techniques for Distributed Objects, Components, and Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods in Systems Biology]()
Formal Methods in Systems Biology
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Distributed Intelligent Systems]()
Distributed Intelligent Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques for Networked and Distributed Systems - FORTE 2008]()
Formal Techniques for Networked and Distributed Systems – FORTE 2008
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Distributed Network Systems]()
Distributed Network Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques for Distributed Objects, Components, and Systems]()
Formal Techniques for Distributed Objects, Components, and Systems
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Distributed Systems]()
Distributed Systems
71,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Systems Specification]()
Formal Systems Specification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques for Networked and Distributed Systems - FORTE 2005]()
Formal Techniques for Networked and Distributed Systems – FORTE 2005
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques for Safety-Critical Systems]()
Formal Techniques for Safety-Critical Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advances in Distributed Systems]()
Advances in Distributed Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formale Beschreibungstechniken für verteilte Systeme]()
Formale Beschreibungstechniken für verteilte Systeme
59,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques in Real-Time and Fault-Tolerant Systems]()
Formal Techniques in Real-Time and Fault-Tolerant Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques in Real-Time and Fault-Tolerant Systems]()
Formal Techniques in Real-Time and Fault-Tolerant Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques for Distributed Objects, Components, and Systems]()
Formal Techniques for Distributed Objects, Components, and Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Scalable Techniques for Formal Verification]()
Scalable Techniques for Formal Verification
119,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques for Distributed Objects, Components, and Systems]()
Formal Techniques for Distributed Objects, Components, and Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Distributed Parameter Systems]()
Distributed Parameter Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Distributed Systems]()
Distributed Systems
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Open Object-Based Distributed Systems V]()
Formal Methods for Open Object-Based Distributed Systems V
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Open Object-Based Distributed Systems]()
Formal Methods for Open Object-Based Distributed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Open Object-Based Distributed Systems]()
Formal Methods for Open Object-Based Distributed Systems
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Distributed Systems]()
Distributed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques for Safety-Critical Systems]()
Formal Techniques for Safety-Critical Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques for Safety-Critical Systems]()
Formal Techniques for Safety-Critical Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques for Distributed Systems]()
Formal Techniques for Distributed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques for Computer Systems and Business Processes]()
Formal Techniques for Computer Systems and Business Processes
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques for Networked and Distributed Systems]()
Formal Techniques for Networked and Distributed Systems
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques for Distributed Objects, Components, and Systems]()
Formal Techniques for Distributed Objects, Components, and Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concepts for Distributed Systems Design]()
Concepts for Distributed Systems Design
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rendezvous in Distributed Systems]()
Rendezvous in Distributed Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Distributed Systems]()
Distributed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques in Real-Time and Fault-Tolerant Systems]()
Formal Techniques in Real-Time and Fault-Tolerant Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Embedded Distributed Systems]()
Formal Methods for Embedded Distributed Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Data Mining Techniques for Distributed Database Environment]()
Data Mining Techniques for Distributed Database Environment
64,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques for Distributed Objects, Components, and Systems]()
Formal Techniques for Distributed Objects, Components, and Systems
74,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reliable Distributed Systems]()
Reliable Distributed Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Compressed Sensing for Distributed Systems]()
Compressed Sensing for Distributed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Garbage Collection Techniques & Optimizations for Distributed Systems]()
Garbage Collection Techniques & Optimizations for Distributed Systems
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques for Distributed Objects, Components, and Systems]()
Formal Techniques for Distributed Objects, Components, and Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques in Real-Time and Fault-Tolerant Systems]()
Formal Techniques in Real-Time and Fault-Tolerant Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques for Safety-Critical Systems]()
Formal Techniques for Safety-Critical Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Protocol Engineering and Distributed Systems]()
Formal Methods for Protocol Engineering and Distributed Systems
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods in Systems Engineering]()
Formal Methods in Systems Engineering
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques for Safety-Critical Systems]()
Formal Techniques for Safety-Critical Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Distributed Network Systems]()
Distributed Network Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Parallel and Distributed Processing Techniques]()
Parallel and Distributed Processing Techniques
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Open Object-Based Distributed Systems]()
Formal Methods for Open Object-Based Distributed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Open Object-Based Distributed Systems]()
Formal Methods for Open Object-Based Distributed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques for Distributed Objects, Components, and Systems]()
Formal Techniques for Distributed Objects, Components, and Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques for Networked and Distributed Systems]()
Formal Techniques for Networked and Distributed Systems
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Distributed System Development]()
Formal Methods for Distributed System Development
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advanced Distributed Systems]()
Advanced Distributed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Distributed Systems for System Architects]()
Distributed Systems for System Architects
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Smart Distributed Systems]()
Smart Distributed Systems
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advanced Distributed Systems]()
Advanced Distributed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques in Real-Time and Fault-Tolerant Systems]()
Formal Techniques in Real-Time and Fault-Tolerant Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Distributed Systems for System Architects]()
Distributed Systems for System Architects
126,21 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques for Distributed Objects, Components, and Systems]()
Formal Techniques for Distributed Objects, Components, and Systems
74,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Replication Techniques in Distributed Systems]()
Replication Techniques in Distributed Systems
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems]()
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rendezvous in Distributed Systems]()
Rendezvous in Distributed Systems
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
