Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Temporal Logic in Specification
Lieferzeit: Lieferbar innerhalb 14 Tagen
53,49 €
inkl. 7 % MwSt. zzgl. Versandkosten
Altrincham, UK, April 8-10,1987, Proceedings, Lecture Notes in Computer Science 398
| ISBN: | 3540518037 |
|---|---|
| ISBN 13: | 9783540518037 |
| Herausgeber: | Behnam Banieqbal/Howard Barringer/Amir Pnueli |
| Verlag: | Springer Verlag GmbH |
| Umfang: | viii, 452 S. |
| Erscheinungsdatum: | 11.10.1989 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Darwin's Lehre und die Specification]()
Darwin’s Lehre und die Specification
14,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Spatio-Temporal Databases]()
Spatio-Temporal Databases
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Specification of Software Systems]()
Specification of Software Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Logic]()
Temporal Logic
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Specification and Transformation of Programs]()
Specification and Transformation of Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-dynamical specification and computer implementatiom of hybrid processes]()
Logic-dynamical specification and computer implementatiom of hybrid processes
33,70 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Engineering contracts and specifications]()
Engineering contracts and specifications
30,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Network Theory]()
Temporal Network Theory
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Logic and State Systems]()
Temporal Logic and State Systems
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Interactive Systems.Design, Specification, and Verification]()
Interactive Systems.Design, Specification, and Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Object-Oriented Behavioral Specifications]()
Object-Oriented Behavioral Specifications
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Industrial Robot Specifications]()
Industrial Robot Specifications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Spatio-temporal Intertwining]()
Spatio-temporal Intertwining
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Darwin's Lehre und die Specification]()
Darwin’s Lehre und die Specification
34,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Communication Protocol Specification and Verification]()
Communication Protocol Specification and Verification
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Value in MCDM]()
Temporal Value in MCDM
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Network Epidemiology]()
Temporal Network Epidemiology
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Power]()
Temporal Power
76,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Algebraic Specifications in Software Engineering]()
Algebraic Specifications in Software Engineering
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: System Specification and Design Languages]()
System Specification and Design Languages
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Recent Trends in Data Type Specification]()
Recent Trends in Data Type Specification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: System Specification and Design Languages]()
System Specification and Design Languages
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal GIS]()
Temporal GIS
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Programming with Specifications]()
Programming with Specifications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die temporalen Infinitkonstruktionen im Kalmückischen]()
Die temporalen Infinitkonstruktionen im Kalmückischen
54,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verifying Concurrent Processes Using Temporal Logic]()
Verifying Concurrent Processes Using Temporal Logic
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Spatio-temporal Intertwining]()
Spatio-temporal Intertwining
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Modalities in Arabic Logic]()
Temporal Modalities in Arabic Logic
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Semantics and Algebraic Specification]()
Semantics and Algebraic Specification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Type Theory]()
Temporal Type Theory
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Engineering Contracts and Specifications]()
Engineering Contracts and Specifications
30,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Network Epidemiology]()
Temporal Network Epidemiology
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Logic and State Systems]()
Temporal Logic and State Systems
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Studies in Temporal Urbanism]()
Studies in Temporal Urbanism
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Bone Cancer]()
Temporal Bone Cancer
192,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Spatio-Temporal Databases]()
Spatio-Temporal Databases
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logics of Specification Languages]()
Logics of Specification Languages
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Neural Cell Specification]()
Neural Cell Specification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Specification Methods]()
Software Specification Methods
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Logic]()
Temporal Logic
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Bone]()
Temporal Bone
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Figurationen des Temporalen]()
Figurationen des Temporalen
55,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Languages for System Specification]()
Languages for System Specification
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Studies in Temporal Urbanism]()
Studies in Temporal Urbanism
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Darwins Lehre und die Specification]()
Darwins Lehre und die Specification
12,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Circumstances]()
Temporal Circumstances
93,08 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrency, Specification and Programming]()
Concurrency, Specification and Programming
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Temporal Logic of Reactive and Concurrent Systems]()
The Temporal Logic of Reactive and Concurrent Systems
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reliable Requirement Specification]()
Reliable Requirement Specification
61,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Bone Imaging]()
Temporal Bone Imaging
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal, Spatial, and Spatio-Temporal Data Mining]()
Temporal, Spatial, and Spatio-Temporal Data Mining
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Order]()
Temporal Order
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Spatio-temporal Networks]()
Spatio-temporal Networks
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporale Fuzzy Logik]()
Temporale Fuzzy Logik
89,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advances in Temporal Logic]()
Advances in Temporal Logic
160,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: Bedeutungsanpassung bei temporalen Modifikatoren]()
Bedeutungsanpassung bei temporalen Modifikatoren
44,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Bone Imaging]()
Temporal Bone Imaging
70,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Networks]()
Temporal Networks
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Temporal Logic of Reactive and Concurrent Systems]()
The Temporal Logic of Reactive and Concurrent Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Specifying Message Passing and Time-Critical Systems with Temporal Logic]()
Specifying Message Passing and Time-Critical Systems with Temporal Logic
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Protocol Specification and Testing]()
Protocol Specification and Testing
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Languages for System Specification]()
Languages for System Specification
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Der Eigenthumserwerb Durch Specification]()
Der Eigenthumserwerb Durch Specification
34,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Abstract Software Specifications]()
Abstract Software Specifications
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Specification Case Studies in RAISE]()
Specification Case Studies in RAISE
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporale Geschäftsprozessmodellierung]()
Temporale Geschäftsprozessmodellierung
64,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporale Muster]()
Temporale Muster
54,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Specifications for Practical Architecture]()
Specifications for Practical Architecture
31,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die temporale Ontologie des Rechts]()
Die temporale Ontologie des Rechts
104,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logics of Specification Languages]()
Logics of Specification Languages
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Metallic Materials Specification Handbook]()
Metallic Materials Specification Handbook
534,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Circumstances]()
Temporal Circumstances
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Engineering Construction Specifications]()
Engineering Construction Specifications
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Generating Alloy Specification]()
Generating Alloy Specification
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Program Specification]()
Program Specification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advances in Temporal Logic]()
Advances in Temporal Logic
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Electric Lighting Specifications]()
Electric Lighting Specifications
21,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Logic of Programs]()
Temporal Logic of Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic and Algebra of Specification]()
Logic and Algebra of Specification
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Extending Temporal Logic with Omega-automata]()
Extending Temporal Logic with Omega-automata
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Power]()
Temporal Power
56,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Bone]()
Temporal Bone
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrency, Specification and Programming]()
Concurrency, Specification and Programming
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Modalities in Arabic Logic]()
Temporal Modalities in Arabic Logic
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Temporal Bone]()
The Temporal Bone
134,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Modified Specifications]()
Modified Specifications
20,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Bone Cancer]()
Temporal Bone Cancer
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Der Eigenthumserwerb Durch Specification]()
Der Eigenthumserwerb Durch Specification
59,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Specification]()
Formal Specification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Networks]()
Temporal Networks
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic and Algebra of Specification]()
Logic and Algebra of Specification
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Specification, Algebra, and Software]()
Specification, Algebra, and Software
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Logic from the Chronicles Paradigm:]()
Temporal Logic from the Chronicles Paradigm:
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Spatio-Temporal Databases]()
Spatio-Temporal Databases
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Network Theory]()
Temporal Network Theory
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Specification Level]()
Formal Specification Level
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Specification of Software Systems]()
Specification of Software Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Specifications for Frame Houses]()
Specifications for Frame Houses
12,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Bone Imaging]()
Temporal Bone Imaging
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
