Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Formal Techniques for Safety-Critical Systems
Lieferzeit: Lieferbar innerhalb 14 Tagen
53,49 €
inkl. 7 % MwSt. zzgl. Versandkosten
Third International Workshop, FTSCS 2014, Luxembourg, November 6-7,2014.Revised Selected Papers, Communications in Computer and Information Science 476
| ISBN: | 3319175807 |
|---|---|
| ISBN 13: | 9783319175805 |
| Herausgeber: | Cyrille Artho/Peter Csaba Ölveczky |
| Verlag: | Springer Verlag GmbH |
| Umfang: | x, 257 S., 86 s/w Illustr., 257 p. 86 illus. |
| Erscheinungsdatum: | 23.04.2015 |
| Auflage: | 1/2015 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Includes supplementary material: sn.pub/extras
Das könnte Ihnen auch gefallen …
-
![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: Current Issues in Safety-Critical Systems]()
Current Issues in Safety-Critical Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Description Techniques VII]()
Formal Description Techniques VII
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Industrial Critical Systems]()
Formal Methods for Industrial Critical Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal and Informal Social Safety Nets]()
Formal and Informal Social Safety Nets
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Industrial Critical Systems]()
Formal Methods for Industrial Critical 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: A Study on Safety Metrics for Safety-Critical Computer Systems]()
A Study on Safety Metrics for Safety-Critical Computer Systems
74,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Technology and Assessment of Safety-Critical Systems]()
Technology and Assessment of Safety-Critical Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Safety-Critical Electrical Drives]()
Safety-Critical Electrical Drives
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Industrial Critical Systems]()
Formal Methods for Industrial Critical Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Industrial Critical Systems]()
Formal Methods for Industrial Critical 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: Formale und nicht-formale Bildung in der Elfenbeinküste]()
Formale und nicht-formale Bildung in der Elfenbeinküste
91,90 €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 Description Techniques IX]()
Formal Description Techniques IX
320,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 for Dynamical Systems]()
Formal Methods for Dynamical Systems
49,22 €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 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 Safety-Critical Systems]()
Formal Techniques for Safety-Critical Systems
53,49 €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 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 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 Distributed Objects, Components, and Systems]()
Formal Techniques for Distributed Objects, Components, and Systems
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Design Methods of Safety-Critical Electronic Automotive Systems]()
Design Methods of Safety-Critical Electronic Automotive Systems
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Reliability in Safety Critical Systems]()
Software Reliability in Safety Critical Systems
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal and Informal Social Safety Nets]()
Formal and Informal Social Safety Nets
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: Scalable Techniques for Formal Verification]()
Scalable Techniques for Formal Verification
119,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Industrial Critical Systems]()
Formal Methods for Industrial Critical Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Safety-Critical Real-Time Systems]()
Safety-Critical Real-Time Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Industrial Critical Systems]()
Formal Methods for Industrial 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: 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 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 Distributed Systems]()
Formal Techniques for Distributed 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 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 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 Techniques for Data Base Design]()
Formal Techniques for Data Base Design
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Electronics System Design Techniques for Safety Critical Applications]()
Electronics System Design Techniques for Safety Critical Applications
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
62,05 €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: Advances in Systems Safety]()
Advances in Systems Safety
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Industrial Critical Systems]()
Formal Methods for Industrial Critical Systems
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Industrial Perspectives of Safety-critical Systems]()
Industrial Perspectives of Safety-critical Systems
106,99 €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 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 Systems]()
Formal Techniques for 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: Formal Techniques for Safety-Critical Systems]()
Formal Techniques for Safety-Critical Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Critical Systems: Formal Methods and Automated Verification]()
Critical Systems: Formal Methods and Automated Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Safety and Security]()
Formal Methods for Safety and Security
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Industrial Critical Systems]()
Formal Methods for Industrial Critical Systems
62,05 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Safety-Critical Real-Time Systems]()
Safety-Critical Real-Time Systems
106,99 €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 Methods in Systems Biology]()
Formal Methods in Systems Biology
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Electronics System Design Techniques for Safety Critical Applications]()
Electronics System Design Techniques for Safety Critical Applications
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: Formal Methods for Industrial Critical Systems]()
Formal Methods for Industrial Critical Systems
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Industrial Critical Systems]()
Formal Methods for Industrial Critical Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Security Management for Industrial Safety Critical Applications]()
Security Management for Industrial Safety Critical Applications
160,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 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 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
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Computational Systems Biology]()
Formal Methods for Computational 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
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
74,89 €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 Methods for Industrial Critical Systems]()
Formal Methods for Industrial Critical Systems
62,05 €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: Safety-critical Systems]()
Safety-critical Systems
160,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: Systems of Formal Logic]()
Systems of Formal Logic
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Achieving Systems Safety]()
Achieving Systems Safety
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Safety and Security]()
Formal Methods for Safety and Security
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Specification Techniques for Engineering Modular C Programs]()
Formal Specification Techniques for Engineering Modular C Programs
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Development of Safety-Critical Systems]()
Development of Safety-Critical Systems
74,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Directions in Safety-Critical Systems]()
Directions in Safety-Critical 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 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 Methods for Industrial Critical Systems]()
Formal Methods for Industrial Critical Systems
74,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Industrial Critical Systems]()
Formal Methods for Industrial Critical Systems
51,36 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Critical Systems: Formal Methods and Automated Verification]()
Critical Systems: Formal Methods and Automated Verification
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 Industrial Critical Systems]()
Formal Methods for Industrial Critical Systems
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Industrial Critical Systems]()
Formal Methods for Industrial Critical Systems
51,36 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Industrial Critical Systems]()
Formal Methods for Industrial Critical Systems
53,49 €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: Safety-Critical Systems: Problems, Process and Practice]()
Safety-Critical Systems: Problems, Process and Practice
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advances in Reliability and Safety Assessment for Critical Systems]()
Advances in Reliability and Safety Assessment for Critical Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Industrial Critical Systems]()
Formal Methods for Industrial 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
68,48 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Systems-thinking for Safety]()
Systems-thinking for Safety
39,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Safety Analysis of Critical Infrastructure]()
Safety Analysis of Critical Infrastructure
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Safety Analysis of Critical Infrastructure]()
Safety Analysis of Critical Infrastructure
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Nicht-formale Strategien in der formalen Bildung]()
Nicht-formale Strategien in der formalen Bildung
48,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
