Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Languages for System Specification
Lieferzeit: Lieferbar innerhalb 14 Tagen
160,49 €
inkl. 7 % MwSt. zzgl. Versandkosten
Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL03
| ISBN: | 1402079907 |
|---|---|
| ISBN 13: | 9781402079900 |
| Herausgeber: | Christoph Grimm |
| Verlag: | Springer Verlag GmbH |
| Umfang: | x, 357 S., 60 s/w Illustr. |
| Erscheinungsdatum: | 15.12.1996 |
| Produktform: | Gebunden/Hardback |
| Einband: | Gebunden |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Advances in Design and Specification Languages for SoCs]()
Advances in Design and Specification Languages for SoCs
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: SpecC: Specification Language and Methodology]()
SpecC: Specification Language and Methodology
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Causality, Prediction, and Specification Analysis]()
Causality, Prediction, and Specification Analysis
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 -
![Produktbild: Formal Specification Level]()
Formal Specification Level
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Certifying Software Component Performance Specifications]()
Certifying Software Component Performance Specifications
58,00 €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: Metallic Materials Specification Handbook]()
Metallic Materials Specification Handbook
534,99 €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: Temporal Logic in Specification]()
Temporal Logic in Specification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Acuros XB (AXB) algorithm specifications]()
Acuros XB (AXB) algorithm specifications
39,90 €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: Interactive Systems.Design, Specification, and Verification]()
Interactive Systems.Design, Specification, and Verification
53,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: Fundamentals of Algebraic Specification 1]()
Fundamentals of Algebraic Specification 1
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Conditional Specification of Statistical Models]()
Conditional Specification of Statistical Models
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Specification Languages for Preserving Consistency between Models of Different Languages]()
Specification Languages for Preserving Consistency between Models of Different Languages
51,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: Darwins Lehre und die Specification]()
Darwins Lehre und die Specification
12,90 €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: 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: Multi-Domain Modeling Through Specification of a Modeling Language]()
Multi-Domain Modeling Through Specification of a Modeling Language
61,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: Abstract Software Specifications]()
Abstract Software Specifications
42,79 €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: Formal Systems Specification]()
Formal Systems Specification
53,49 €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: Advances in Design and Specification Languages for SoCs]()
Advances in Design and Specification Languages for SoCs
160,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: Algebraic System Specification and Development]()
Algebraic System Specification and Development
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Valve Selection and Specification Guide]()
Valve Selection and Specification Guide
106,99 €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: System Specification and Design Languages]()
System Specification and Design Languages
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: Engineering contracts and specifications]()
Engineering contracts and specifications
30,90 €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: Formal Specification]()
Formal Specification
53,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: From Specification to Embedded Systems Application]()
From Specification to Embedded Systems Application
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: Concurrency, Specification and Programming]()
Concurrency, Specification and Programming
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Object-Z Specification Language]()
The Object-Z Specification Language
213,99 €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: Der Eigenthumserwerb Durch Specification]()
Der Eigenthumserwerb Durch Specification
34,90 €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: Practical Foundations of Business System Specifications]()
Practical Foundations of Business System Specifications
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Semantic Integration of Heterogeneous Software Specifications]()
Semantic Integration of Heterogeneous Software Specifications
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: SPECC: Specification Language and Methodology]()
SPECC: Specification Language and Methodology
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Specification for Exchange of Product Analysis Data]()
Specification for Exchange of Product Analysis Data
106,99 €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: Software Requirements And Specifications]()
Software Requirements And Specifications
79,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: Larch: Languages and Tools for Formal Specification]()
Larch: Languages and Tools for Formal Specification
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: Engineering Contracts and Specifications]()
Engineering Contracts and Specifications
30,90 €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: Object-Oriented Behavioral Specifications]()
Object-Oriented Behavioral Specifications
160,49 €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: Protocol Specification and Testing]()
Protocol Specification and Testing
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Embracing Model Transformations in Requirements Specification]()
Embracing Model Transformations in Requirements Specification
76,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Applications of Specification and Design Languages for SoCs]()
Applications of Specification and Design Languages for SoCs
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Developing Specification For Procurement of Goods]()
Developing Specification For Procurement of Goods
39,90 €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: Industrial Robot Specifications]()
Industrial Robot Specifications
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: 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: Neural Cell Specification]()
Neural Cell Specification
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: Modified Specifications]()
Modified Specifications
20,90 €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: Generating Alloy Specification]()
Generating Alloy Specification
49,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: Practical Foundations of Business System Specifications]()
Practical Foundations of Business System Specifications
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: An Enactment Infrastructure For Business Process Specifications]()
An Enactment Infrastructure For Business Process Specifications
49,00 €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: Embedded Systems Specification and Design Languages]()
Embedded Systems Specification and Design Languages
106,99 €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: Algebraic Specifications in Software Engineering]()
Algebraic Specifications in Software Engineering
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: Specifications for Frame Houses]()
Specifications for Frame Houses
12,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Specifications for wiring for electric lighting, etc.,]()
Specifications for wiring for electric lighting, etc.,
12,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Conditional Specification of Statistical Models]()
Conditional Specification of Statistical Models
106,99 €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: The Object-Z Specification Language]()
The Object-Z Specification Language
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Graph Transformation, Specifications, and Nets]()
Graph Transformation, Specifications, and Nets
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: High-Integrity System Specification and Design]()
High-Integrity System Specification and Design
53,49 €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: Recent Trends in Data Type Specification]()
Recent Trends in Data Type Specification
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: VLSI Specification, Verification and Synthesis]()
VLSI Specification, Verification and Synthesis
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: ASSL - Autonomic System Specification Language]()
ASSL – Autonomic System Specification Language
79,00 €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: Applications of Specification and Design Languages for SoCs]()
Applications of Specification and Design Languages for SoCs
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Biodiversity Law and GMO Specifications]()
Biodiversity Law and GMO Specifications
61,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Fundamentals of Algebraic Specification 2]()
Fundamentals of Algebraic Specification 2
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Semantics of Specification Languages (SoSL)]()
Semantics of Specification Languages (SoSL)
53,49 €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
