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 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12,2009, Proceedings, Lecture Notes in Computer Science 5522 – Programming and Software Engineering
| ISBN: | 3642021379 |
|---|---|
| ISBN 13: | 9783642021374 |
| Herausgeber: | David Lee/Antonia Lopes/Arnd Poetzsch-Heffter |
| Verlag: | Springer Verlag GmbH |
| Umfang: | xii, 249 S. |
| Erscheinungsdatum: | 25.05.2009 |
| Auflage: | 1/2009 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![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: Distributed Intelligent Systems]()
Distributed Intelligent 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: Scalable Techniques for Formal Verification]()
Scalable Techniques for Formal Verification
106,99 €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: Formal Techniques for Distributed Systems]()
Formal Techniques for Distributed Systems
53,49 €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: Rendezvous in Distributed Systems]()
Rendezvous in Distributed Systems
149,79 €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 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: Open Distributed Systems]()
Open Distributed Systems
54,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: Advanced Distributed Systems]()
Advanced Distributed 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: 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 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 Techniques for Safety-Critical Systems]()
Formal Techniques for Safety-Critical Systems
53,49 €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: 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: Reliable Distributed Systems]()
Reliable Distributed Systems
85,59 €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: Formale Beschreibungstechniken für verteilte Systeme]()
Formale Beschreibungstechniken für verteilte Systeme
59,99 €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: Distributed Systems]()
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 Systems Specification]()
Formal Systems Specification
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: Formal Techniques for Safety-Critical Systems]()
Formal Techniques for Safety-Critical Systems
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: Distributed Computing and Optimization Techniques]()
Distributed Computing and Optimization Techniques
160,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: 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 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: Distributed Network Systems]()
Distributed Network Systems
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: Concepts for Distributed Systems Design]()
Concepts for Distributed Systems Design
53,49 €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: 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: Distributed Operating Systems]()
Distributed Operating Systems
106,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 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: 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: Formal Methods for Distributed System Development]()
Formal Methods for Distributed System Development
213,99 €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: 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: 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 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 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: Scalable Techniques for Formal Verification]()
Scalable Techniques for Formal Verification
119,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 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 for Embedded Distributed Systems]()
Formal Methods for Embedded Distributed 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
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 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 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 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 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: Distributed Parameter Systems]()
Distributed Parameter Systems
53,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: Distributed Systems]()
Distributed Systems
71,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: Distributed Computing and Optimization Techniques]()
Distributed Computing and Optimization Techniques
160,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: Distributed Systems]()
Distributed Systems
49,00 €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: Distributed Systems for System Architects]()
Distributed Systems for System Architects
106,99 €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 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: 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 Open Object-Based Distributed Systems]()
Formal Methods for Open Object-Based Distributed Systems
213,99 €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 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 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 Distributed Systems]()
Formal Techniques for Distributed Systems
53,49 €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: Parallel and Distributed Processing Techniques]()
Parallel and Distributed Processing Techniques
96,29 €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: 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: Estimation Techniques for Distributed Parameter Systems]()
Estimation Techniques for Distributed Parameter Systems
53,49 €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 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
106,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: 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: 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 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 for Dynamical Systems]()
Formal Methods for Dynamical Systems
49,22 €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: 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 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 Embedded Distributed Systems]()
Formal Methods for Embedded Distributed Systems
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
