Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Modular Specification and Verification of Object-Oriented Programs
Lieferzeit: Lieferbar innerhalb 14 Tagen
53,49 €
inkl. 7 % MwSt. zzgl. Versandkosten
Lecture Notes in Computer Science 2262
| ISBN: | 3540431675 |
|---|---|
| ISBN 13: | 9783540431671 |
| Autor: | Müller, Peter |
| Verlag: | Springer Verlag GmbH |
| Umfang: | xiv, 298 S. |
| Erscheinungsdatum: | 23.01.2002 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![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: Object-Oriented Python]()
Object-Oriented Python
42,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Algebraic Specification Techniques in Object Oriented Programming Environments]()
Algebraic Specification Techniques in Object Oriented Programming Environments
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: Object-Oriented Technology]()
Object-Oriented Technology
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Measurement in Object Oriented Paradigm]()
Measurement in Object Oriented Paradigm
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Object-Oriented Programming in Oberon-2]()
Object-Oriented Programming in Oberon-2
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: 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: Program Verification]()
Program Verification
353,09 €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: Protocol Specification, Testing and Verification XIV]()
Protocol Specification, Testing and Verification XIV
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Program Development by Specification and Transformation]()
Program Development by Specification and Transformation
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Object-Oriented Graphics]()
Object-Oriented Graphics
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Object-Oriented Programming Languages: Interpretation]()
Object-Oriented Programming Languages: Interpretation
37,40 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification of Business Rules Programs]()
Verification of Business Rules Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Component Oriented Programming: Object-Oriented and Beyond]()
Component Oriented Programming: Object-Oriented and Beyond
41,90 €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: VLSI Specification, Verification and Synthesis]()
VLSI Specification, Verification and Synthesis
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Object-Oriented Modeling]()
Object-Oriented Modeling
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Object-Oriented Software in C++]()
Object-Oriented Software in C++
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification of Object-Oriented Software]()
Verification of Object-Oriented Software
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Object-Oriented Programming and Java]()
Object-Oriented Programming and Java
53,49 €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: 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: Programs as Data Objects]()
Programs as Data Objects
37,44 €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: Design, Specification and Verification of Interactive Systems 97]()
Design, Specification and Verification of Interactive Systems 97
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Foundations of Program Verification]()
The Foundations of Program Verification
44,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Testing of Aspect Oriented Programs]()
Testing of Aspect Oriented Programs
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Object Oriented Programming in - C++]()
Object Oriented Programming in – C++
68,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Object-Oriented Game Development]()
Object-Oriented Game Development
70,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: 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 Metrics in Practice]()
Object-Oriented Metrics in Practice
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Dependency Analysis of Object Oriented Program]()
Dependency Analysis of Object Oriented Program
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification of Business Rules Programs]()
Verification of Business Rules Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Object-Oriented Database System]()
Object-Oriented Database System
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Object-Oriented Programming with ABAP Objects]()
Object-Oriented Programming with ABAP Objects
89,95 €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: Fundamentals of object oriented programming]()
Fundamentals of object oriented programming
54,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: ECOOP - Object-Oriented Programming]()
ECOOP – Object-Oriented Programming
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: Interactive Systems. Design, Specification, and Verification]()
Interactive Systems. Design, Specification, and Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Testing Object-Oriented Software]()
Testing Object-Oriented Software
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Object Oriented Software Engineering]()
Object Oriented Software Engineering
54,90 €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: Nondeterminism in Algebraic Specifications and Algebraic Programs]()
Nondeterminism in Algebraic Specifications and Algebraic Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Object-Oriented ActionScript 3.0]()
Object-Oriented ActionScript 3.0
47,07 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Object-Oriented Macromedia Flash MX]()
Object-Oriented Macromedia Flash MX
37,44 €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 ActionScript For Flash 8]()
Object-Oriented ActionScript For Flash 8
41,72 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: PHP Object-Oriented Solutions]()
PHP Object-Oriented Solutions
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Deductive and Object-Oriented Databases]()
Deductive and Object-Oriented Databases
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Object-oriented Modeling and Design]()
Object-oriented Modeling and Design
71,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Object-Oriented Business Systems]()
Object-Oriented Business Systems
64,90 €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: Communication Protocol Specification and Verification]()
Communication Protocol Specification and Verification
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Object Oriented Technology Using C++]()
Object Oriented Technology Using C++
49,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Object-Oriented Ontology]()
Object-Oriented Ontology
14,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification of Object-Oriented Software]()
Formal Verification of Object-Oriented Software
49,22 €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 Verification of Concurrent Systems]()
Specification and Verification of Concurrent Systems
53,49 €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: 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: Software Engineering: Specification, Implementation, Verification]()
Software Engineering: Specification, Implementation, Verification
74,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Object-Oriented Metrics in Practice]()
Object-Oriented Metrics in Practice
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Object-Oriented Technology]()
Object-Oriented Technology
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification of Sequential and Concurrent Programs]()
Verification of Sequential and Concurrent Programs
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Object-Oriented Methodologies and Systems]()
Object-Oriented Methodologies and Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Object-Oriented Development]()
Formal Object-Oriented Development
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Deductive and Object-Oriented Databases]()
Deductive and Object-Oriented Databases
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: Programming with Turing and Object Oriented Turing]()
Programming with Turing and Object Oriented Turing
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Deductive and Object-Oriented Databases]()
Deductive and Object-Oriented Databases
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Distributed Object-Oriented Architectures]()
Distributed Object-Oriented Architectures
58,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Program Verification]()
Program Verification
320,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Object Oriented Simulation]()
Object Oriented Simulation
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Programs as Data Objects]()
Programs as Data Objects
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: Object Oriented Programming Language]()
Object Oriented Programming Language
71,90 €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: Learning to Program the Object-Oriented Way with CSharp]()
Learning to Program the Object-Oriented Way with CSharp
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: 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: Testing Object-Oriented Software]()
Testing Object-Oriented Software
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Object-Oriented Programming]()
Object-Oriented Programming
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Foundations of Object-Oriented Languages]()
Foundations of Object-Oriented Languages
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification of Sequential and Concurrent Programs]()
Verification of Sequential and Concurrent Programs
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Modular Compiler Verification]()
Modular Compiler Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Aliasing in Object-Oriented Programming]()
Aliasing in Object-Oriented Programming
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Object Oriented Simulation]()
Object Oriented Simulation
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: Object-oriented programming languages]()
Object-oriented programming languages
39,38 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Object Oriented Mathematical Programming]()
Object Oriented Mathematical Programming
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Object-Oriented Metamethods]()
Object-Oriented Metamethods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Program Specification]()
Program Specification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Women's Participation in Modular Training Programs]()
Women’s Participation in Modular Training Programs
54,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Object-Oriented Information Systems]()
Object-Oriented Information Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Object-Oriented Database Programming]()
Object-Oriented Database Programming
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
