Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Formal Modeling and Analysis of Timed Systems
Lieferzeit: Lieferbar innerhalb 14 Tagen
58,84 €
inkl. 7 % MwSt. zzgl. Versandkosten
21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21,2023, Proceedings, Lecture Notes in Computer Science 14138
| ISBN: | 3031426258 |
|---|---|
| ISBN 13: | 9783031426254 |
| Herausgeber: | Laure Petrucci/Jeremy Sproston |
| Verlag: | Springer Verlag GmbH |
| Umfang: | xiv, 181 S., 21 s/w Illustr., 45 farbige Illustr., 181 p. 66 illus., 45 illus. in color. |
| Erscheinungsdatum: | 29.08.2023 |
| Auflage: | 1/2023 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Face Analysis, Modeling and Recognition Systems]()
Face Analysis, Modeling and Recognition Systems
129,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Concept Analysis]()
Formal Concept Analysis
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Models of Communicating Systems]()
Formal Models of Communicating Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Modeling and Analysis of Information Technology Systems]()
Modeling and Analysis of Information Technology Systems
32,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: Systems Modeling]()
Systems Modeling
181,89 €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: Information Systems Analysis and Modeling]()
Information Systems Analysis and Modeling
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Descriptional Complexity of Formal Systems]()
Descriptional Complexity of Formal Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Neural Systems: Analysis and Modeling]()
Neural Systems: Analysis and Modeling
235,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Systems Analysis and Modeling in Defense]()
Systems Analysis and Modeling in Defense
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Descriptional Complexity of Formal Systems]()
Descriptional Complexity of Formal Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Modeling and Analysis of Queuing Systems in Banks]()
Modeling and Analysis of Queuing Systems in Banks
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Concept Analysis]()
Formal Concept Analysis
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Timed Petri Nets]()
Timed Petri Nets
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Modeling and Analysis of Timed Systems]()
Formal Modeling and Analysis of Timed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Analysis of Security Protocols]()
Formal Analysis of Security Protocols
49,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Concept Analysis]()
Formal Concept Analysis
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Modeling and Analysis of Timed Systems]()
Formal Modeling and Analysis of Timed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Operational Semantics for Timed Systems]()
Operational Semantics for Timed Systems
53,49 €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 -
![Produktbild: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems]()
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Timed Boolean Functions]()
Timed Boolean Functions
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Descriptional Complexity of Formal Systems]()
Descriptional Complexity of Formal Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Descriptional Complexity of Formal Systems]()
Descriptional Complexity of Formal Systems
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Modeling and Solution of Chemical Batch Scheduling Problems Using Timed Automata]()
Modeling and Solution of Chemical Batch Scheduling Problems Using Timed Automata
49,80 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: GeoComputational Analysis and Modeling of Regional Systems]()
GeoComputational Analysis and Modeling of Regional Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Concept Analysis]()
Formal Concept Analysis
70,61 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Models of Communicating Systems]()
Formal Models of Communicating Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems]()
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
70,61 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Concept Analysis]()
Formal Concept Analysis
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Concept Analysis]()
Formal Concept Analysis
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Development of Reactive Systems]()
Formal Development of Reactive 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: Descriptional Complexity of Formal Systems]()
Descriptional Complexity of Formal Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Principles of Formal Quantitative Analysis]()
Principles of Formal Quantitative Analysis
79,17 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Self timed Null Convention Logic Approaches]()
Self timed Null Convention Logic Approaches
71,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Concept Analysis]()
Formal Concept Analysis
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Modeling and Analysis of Timed Systems]()
Formal Modeling and Analysis of Timed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Modeling and Analysis of Timed Systems]()
Formal Modeling and Analysis of Timed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Modeling and Analysis of Timed Systems]()
Formal Modeling and Analysis of Timed Systems
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Modeling and Analysis of Timed Systems]()
Formal Modeling and Analysis of Timed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Concept Analysis]()
Formal Concept Analysis
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Descriptional Complexity of Formal Systems]()
Descriptional Complexity of Formal Systems
64,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Descriptional Complexity of Formal Systems]()
Descriptional Complexity of Formal Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Model-based Test Generation for Timed Systems]()
Automated Model-based Test Generation for Timed Systems
68,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Modeling and Analysis of Timed Systems]()
Formal Modeling and Analysis of Timed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Descriptional Complexity of Formal Systems]()
Descriptional Complexity of Formal Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Stochastic Modeling and Analysis of Manufacturing Systems]()
Stochastic Modeling and Analysis of Manufacturing Systems
53,49 €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: GeoComputational Analysis and Modeling of Regional Systems]()
GeoComputational Analysis and Modeling of Regional Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Concept Analysis]()
Formal Concept Analysis
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Modeling and Analysis of Timed Systems]()
Formal Modeling and Analysis of Timed Systems
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advances in Verification of Time Petri Nets and Timed Automata]()
Advances in Verification of Time Petri Nets and Timed Automata
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Descriptional Complexity of Formal Systems]()
Descriptional Complexity of Formal Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Modeling and Analysis of Timed Systems]()
Formal Modeling and Analysis of Timed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Probabilistic Timed Automata for Security Analysis and Design]()
Probabilistic Timed Automata for Security Analysis and Design
44,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Modeling and analysis of ecological and epidemiological systems]()
Modeling and analysis of ecological and epidemiological systems
89,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advances in Verification of Time Petri Nets and Timed Automata]()
Advances in Verification of Time Petri Nets and Timed Automata
160,49 €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: Systems of Formal Logic]()
Systems of Formal Logic
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Descriptional Complexity of Formal Systems]()
Descriptional Complexity of Formal Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Descriptions of Developing Systems]()
Formal Descriptions of Developing Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Concept Analysis]()
Formal Concept Analysis
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Concept Analysis]()
Formal Concept Analysis
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Concept Analysis]()
Formal Concept Analysis
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Concept Analysis]()
Formal Concept Analysis
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Timed Petri Nets]()
Timed Petri Nets
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Modeling and Analysis of Timed Systems]()
Formal Modeling and Analysis of Timed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Descriptional Complexity of Formal Systems]()
Descriptional Complexity of Formal Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Concept Analysis]()
Formal Concept Analysis
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods in Software and Systems Modeling]()
Formal Methods in Software and Systems Modeling
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Modeling and Analysis of Timed Systems]()
Formal Modeling and Analysis of Timed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Self-Timed Control of Concurrent Processes]()
Self-Timed Control of Concurrent Processes
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Systems Modeling]()
Systems Modeling
181,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Modeling and Analysis of Enterprise and Information Systems]()
Modeling and Analysis of Enterprise and Information Systems
106,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: FPGA based implementation of self timed FIR filter]()
FPGA based implementation of self timed FIR filter
45,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 Modeling and Analysis of Timed Systems]()
Formal Modeling and Analysis of Timed Systems
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Concept Analysis]()
Formal Concept Analysis
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Analysis by Abstract Interpretation]()
Formal Analysis by Abstract Interpretation
64,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Modeling: Actors; Open Systems, Biological Systems]()
Formal Modeling: Actors; Open Systems, Biological Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Analysis]()
Formal Analysis
149,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Modeling and Analysis of Enterprise and Information Systems]()
Modeling and Analysis of Enterprise and Information Systems
106,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Analysis and Modeling of Neural Systems]()
Analysis and Modeling of Neural Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems]()
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Descriptional Complexity of Formal Systems]()
Descriptional Complexity of Formal Systems
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Analysis and Modeling of Manufacturing Systems]()
Analysis and Modeling of Manufacturing Systems
246,09 €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 Modeling and Analysis of Timed Systems]()
Formal Modeling and Analysis of Timed Systems
51,36 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Information Systems Analysis and Modeling]()
Information Systems Analysis and Modeling
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Concept Analysis]()
Formal Concept Analysis
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Modeling and Verification of Cyber-Physical Systems]()
Formal Modeling and Verification of Cyber-Physical Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Descriptional Complexity of Formal Systems]()
Descriptional Complexity of Formal Systems
64,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Analysis and Modeling of Manufacturing Systems]()
Analysis and Modeling of Manufacturing Systems
246,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Descriptions of Developing Systems]()
Formal Descriptions of Developing Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Descriptional Complexity of Formal Systems]()
Descriptional Complexity of Formal Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Modeling and Analysis of Timed Systems]()
Formal Modeling and Analysis of Timed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Manufacturing Systems Modeling and Analysis]()
Manufacturing Systems Modeling and Analysis
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Manufacturing Systems Modeling and Analysis]()
Manufacturing Systems Modeling and Analysis
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
