Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
ZUM’97: The Z Formal Specification Notation
Lieferzeit: Lieferbar innerhalb 14 Tagen
53,49 €
inkl. 7 % MwSt. zzgl. Versandkosten
10th International Conference of Z Users, Reading, UK, April, 3-4,1997, Proceedings, Lecture Notes in Computer Science 1212
| ISBN: | 3540627170 |
|---|---|
| ISBN 13: | 9783540627173 |
| Herausgeber: | Jonathan P Bowen/Michael G Hinchey/David Till |
| Verlag: | Springer Verlag GmbH |
| Umfang: | x, 442 S. |
| Erscheinungsdatum: | 20.03.1997 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Der Gehalt der Notation für das musikalische Werk]()
Der Gehalt der Notation für das musikalische Werk
15,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Foundations of Real-Time Computing: Formal Specifications and Methods]()
Foundations of Real-Time Computing: Formal Specifications and Methods
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: Darwins Lehre und die Specification]()
Darwins Lehre und die Specification
12,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Das V-Modell 97]()
Das V-Modell 97
199,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rendering Techniques 97]()
Rendering Techniques 97
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CVRMed-MRCAS'97]()
CVRMed-MRCAS’97
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Dholuo Tonal Notations]()
Dholuo Tonal Notations
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Riesen-Kreuzworträtsel 97]()
Riesen-Kreuzworträtsel 97
3,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software-Management 97]()
Software-Management 97
54,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Business Process Model and Notation]()
Business Process Model and Notation
53,49 €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: 97 Geduldigkeitbewusstwerdungssthesen]()
97 Geduldigkeitbewusstwerdungssthesen
19,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Notation Financière et Scoring]()
Notation Financière et Scoring
57,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: Notations for Software Design]()
Notations for Software Design
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Algorithms - ESA '97]()
Algorithms – ESA ’97
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: Pearl 97]()
Pearl 97
54,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die Notation der polyphonen Musik]()
Die Notation der polyphonen Musik
86,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Foundations of Algebraic Specification and Formal Software Development]()
Foundations of Algebraic Specification and Formal Software Development
128,39 €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: 97% Himmel]()
97% Himmel
19,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Les Agences de Notation Financière]()
Les Agences de Notation Financière
23,90 €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: 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: Foundations of Real-Time Computing: Formal Specifications and Methods]()
Foundations of Real-Time Computing: Formal Specifications and Methods
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Detektiv Conan 97]()
Detektiv Conan 97
7,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: ZB 2005: Formal Specification and Development in Z and B]()
ZB 2005: Formal Specification and Development in Z and B
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Gesamtkonzept Wohnungslosenhilfe '97]()
Gesamtkonzept Wohnungslosenhilfe ’97
27,65 €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: Program Specification]()
Program Specification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![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: 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: Bildung und Bildlichkeit von Notation]()
Bildung und Bildlichkeit von Notation
42,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Diverse Notationen]()
Diverse Notationen
26,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Notations diverses]()
Notations diverses
26,90 €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: ZB 2002: Formal Specification and Development in Z and B]()
ZB 2002: Formal Specification and Development in Z and B
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: Extended Notation]()
Extended Notation
39,90 €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: Handelsforschung 1996/97]()
Handelsforschung 1996/97
54,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die Geschichte der Notation. Notation in Japan und China]()
Die Geschichte der Notation. Notation in Japan und China
15,95 €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: Business Process Modeling Notation]()
Business Process Modeling Notation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: B 2007: Formal Specification and Development in B]()
B 2007: Formal Specification and Development in B
53,49 €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: ZUM '95: The Z Formal Specification Notation]()
ZUM ’95: The Z Formal Specification Notation
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: STACS 97]()
STACS 97
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Lucky Luke 97]()
Lucky Luke 97
15,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Banach Algebras 97]()
Banach Algebras 97
229,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Miscellaneous notations]()
Miscellaneous notations
26,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Safe Comp 97]()
Safe Comp 97
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Peirce's Philosophy of Notation]()
Peirce’s Philosophy of Notation
129,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Musical notation]()
Musical notation
32,74 €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: Software-Ergonomie 97]()
Software-Ergonomie 97
54,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: ZUM '98: The Z Formal Specification Notation]()
ZUM ’98: The Z Formal Specification Notation
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: Germania 97/2019]()
Germania 97/2019
35,00 €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: Conceptual Modeling - ER '97]()
Conceptual Modeling – ER ’97
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: GSN - The Goal Structuring Notation]()
GSN – The Goal Structuring Notation
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Use of Formal Specification of Software]()
The Use of Formal Specification of Software
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Das Beschlussverfahren nach § 97 ArbGG]()
Das Beschlussverfahren nach § 97 ArbGG
94,05 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Freges Notations]()
Freges Notations
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Notation. Imagination und Übersetzung]()
Notation. Imagination und Übersetzung
40,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Foundations of Algebraic Specification and Formal Software Development]()
Foundations of Algebraic Specification and Formal Software Development
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: A Color Notation]()
A Color Notation
16,57 €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: A Color Notation]()
A Color Notation
36,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Dance Notations and Robot Motion]()
Dance Notations and Robot Motion
106,99 €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: Programming with Specifications]()
Programming with Specifications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Predictive Software Measures Based on Formal Z Specifications]()
Predictive Software Measures Based on Formal Z Specifications
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Lucky Luke 97]()
Lucky Luke 97
8,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Boulez' 'Douze notations pour piano']()
Boulez‘ ‚Douze notations pour piano‘
15,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: One Piece 97]()
One Piece 97
7,50 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Business Process Model and Notation]()
Business Process Model and Notation
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Notation Wien]()
Notation Wien
19,90 €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: Notationen in kreativen Prozessen]()
Notationen in kreativen Prozessen
29,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: GSN - The Goal Structuring Notation]()
GSN – The Goal Structuring Notation
129,98 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: 4'33'' (Original Version in Proportional Notation)]()
4’33“ (Original Version in Proportional Notation)
11,95 €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: Geomed 97]()
Geomed 97
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Zwischen Organisation und Notation]()
Zwischen Organisation und Notation
54,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: Formal Specification Level]()
Formal Specification Level
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Jugend 97]()
Jugend 97
54,99 €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: Freges Notations]()
Freges Notations
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: Bewahrung der Kultur durch Notation jahrhundertealter Passionsmelodien]()
Bewahrung der Kultur durch Notation jahrhundertealter Passionsmelodien
32,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die Notationen des altrussischen Kichengesanges]()
Die Notationen des altrussischen Kichengesanges
22,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Dance Notations and Robot Motion]()
Dance Notations and Robot Motion
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: ZTV-SA 97]()
ZTV-SA 97
17,50 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: A Color Notation]()
A Color Notation
16,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
