Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Design, Specification and Verification of Interactive Systems 97
Lieferzeit: Lieferbar innerhalb 14 Tagen
53,49 €
inkl. 7 % MwSt. zzgl. Versandkosten
Proceedings of the Eurographics Workshop in Granada, Spain, June 4-6,1997, Eurographics
| ISBN: | 3211830553 |
|---|---|
| ISBN 13: | 9783211830550 |
| Herausgeber: | Michael D Harrison/Juan C Torres |
| Verlag: | Springer Verlag GmbH |
| Umfang: | viii, 320 S., 56 s/w Illustr., 320 p. 56 illus. |
| Erscheinungsdatum: | 11.11.1997 |
| Auflage: | 1/1997 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Darwin's Lehre und die Specification]()
Darwin’s Lehre und die Specification
34,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification of Reactive Systems]()
Verification of Reactive Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Research in Interactive Design 3]()
Research in Interactive Design 3
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advances in Design and Specification Languages for Embedded Systems]()
Advances in Design and Specification Languages for Embedded Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Logic in Specification]()
Temporal Logic in Specification
53,49 €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: Global Specification and Validation of Embedded Systems]()
Global Specification and Validation of Embedded 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: Specification and Compositional Verification of Real-Time Systems]()
Specification and Compositional Verification of Real-Time Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Geometric Product Specification and Verification: Integration of Functionality]()
Geometric Product Specification and Verification: Integration of Functionality
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Heterogeneous SoC Design and Verification]()
Heterogeneous SoC Design and Verification
53,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: Tool Support for System Specification, Development and Verification]()
Tool Support for System Specification, Development and Verification
53,49 €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: Der Eigenthumserwerb Durch Specification]()
Der Eigenthumserwerb Durch Specification
59,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Wirtschaftsinformatik 97]()
Wirtschaftsinformatik 97
54,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Interactive Computer Systems]()
Interactive Computer Systems
53,49 €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: Specification and Verification of Declarative Open Interaction Models]()
Specification and Verification of Declarative Open Interaction Models
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Modular Specification and Verification of Object-Oriented Programs]()
Modular Specification and Verification of Object-Oriented Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Metric Driven Design Verification]()
Metric Driven Design Verification
129,98 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Description Techniques and Protocol Specification, Testing and Verification]()
Formal Description Techniques and Protocol Specification, Testing and Verification
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Specification and Development of Interactive Systems]()
Specification and Development of Interactive Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Interactive Design]()
Interactive Design
54,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: 97 Geduldigkeitbewusstwerdungssthesen]()
97 Geduldigkeitbewusstwerdungssthesen
19,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Specification and Design Methodology for Real-Time Embedded Systems]()
Specification and Design Methodology for Real-Time Embedded Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Research in Interactive Design]()
Research in Interactive Design
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Jugend 97]()
Jugend 97
54,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Protocol Specification, Testing and Verification XIV]()
Protocol Specification, Testing and Verification XIV
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Design, Specification and Verification of Interactive Systems 98]()
Design, Specification and Verification of Interactive Systems 98
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: Design, Specification and Verification of Interactive Systems 95]()
Design, Specification and Verification of Interactive Systems 95
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: VLSI Specification, Verification and Synthesis]()
VLSI Specification, Verification and Synthesis
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Building Interactive Systems]()
Building Interactive Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Description Techniques and Protocol Specification, Testing and Verification]()
Formal Description Techniques and Protocol Specification, Testing and Verification
213,99 €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: 97% Himmel]()
97% Himmel
19,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Engineering: Specification, Implementation, Verification]()
Software Engineering: Specification, Implementation, Verification
74,89 €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: Protocol Specification, Testing and Verification XIV]()
Protocol Specification, Testing and Verification XIV
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: ZUM'97: The Z Formal Specification Notation]()
ZUM’97: The Z Formal Specification Notation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Domain Modelling for Interactive Systems Design]()
Domain Modelling for Interactive Systems Design
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Pearl 97]()
Pearl 97
54,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: Specification of Software Systems]()
Specification of Software Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Systems and Software Verification]()
Systems and Software Verification
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Specification and Verification of Concurrent Systems]()
Specification and Verification of Concurrent Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Embedded Systems Specification and Design Languages]()
Embedded Systems Specification and Design Languages
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Specification]()
Formal Specification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Specification and Design Methodology for Real-Time Embedded Systems]()
Specification and Design Methodology for Real-Time Embedded Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Embedded Systems Specification and Design Languages]()
Embedded Systems Specification and Design Languages
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Interactive Shape Design]()
Interactive Shape Design
35,30 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tangible Interactive Systems]()
Tangible Interactive Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Specification and Development of Interactive Systems]()
Specification and Development of Interactive Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification of Autonomous Systems]()
Verification of Autonomous Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Metric-Driven Design Verification]()
Metric-Driven Design Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tangible Interactive Systems]()
Tangible Interactive Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advances in Hardware Design and Verification]()
Advances in Hardware Design and Verification
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: Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification]()
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
85,59 €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: Geometric Product Specification and Verification: Integration of Functionality]()
Geometric Product Specification and Verification: Integration of Functionality
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advances in Design and Specification Languages for Embedded Systems]()
Advances in Design and Specification Languages for Embedded Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Heterogeneous SoC Design and Verification]()
Heterogeneous SoC Design and Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Specification and Analysis of Concurrent Systems]()
Specification and Analysis of Concurrent Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Geomed 97]()
Geomed 97
106,99 €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: Specification and Verification of Multi-agent Systems]()
Specification and Verification of Multi-agent Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Interactive Information and Interface Design]()
Interactive Information and Interface Design
58,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Systems and Software Verification]()
Systems and Software Verification
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Embedded Systems: Design, Analysis and Verification]()
Embedded Systems: Design, Analysis and Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Design, Specification and Verification of Interactive Systems 99]()
Design, Specification and Verification of Interactive Systems 99
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Description Techniques and Protocol Specification, Testing and Verification]()
Formal Description Techniques and Protocol Specification, Testing and Verification
213,99 €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: Specification and Verification of Multi-agent Systems]()
Specification and Verification of Multi-agent Systems
160,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: System Specification and Design Languages]()
System Specification and Design Languages
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: STACS 97]()
STACS 97
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Program Specification]()
Program Specification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Embedded Systems: Design, Analysis and Verification]()
Embedded Systems: Design, Analysis and Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Darwin's Lehre und die Specification]()
Darwin’s Lehre und die Specification
14,90 €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: High-Integrity System Specification and Design]()
High-Integrity System Specification and Design
53,49 €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: Modified Specifications]()
Modified Specifications
20,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Engineering Interactive Systems]()
Engineering Interactive Systems
106,99 €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: Global Specification and Validation of Embedded Systems]()
Global Specification and Validation of Embedded Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Behavioral Specifications of Businesses and Systems]()
Behavioral Specifications of Businesses and Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Specifications for Design of Highway Substructure]()
Specifications for Design of Highway Substructure
160,49 €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: Specifications and Verifications of Transactions in Mobile Environment]()
Specifications and Verifications of Transactions in Mobile Environment
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Interactive Systems]()
Interactive Systems
32,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Engineering: Specification, Implementation, Verification]()
Software Engineering: Specification, Implementation, Verification
74,89 €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: Design, Specification and Verification of Interactive Systems 96]()
Design, Specification and Verification of Interactive Systems 96
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification of Reactive Systems]()
Verification of Reactive Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Description Techniques and Protocol Specification, Testing and Verification]()
Formal Description Techniques and Protocol Specification, Testing and Verification
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: UML-B Specification for Proven Embedded Systems Design]()
UML-B Specification for Proven Embedded Systems Design
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Algebraic Foundations of Systems Specification]()
Algebraic Foundations of Systems Specification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
