Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Specification and Transformation of Programs
Lieferzeit: Lieferbar innerhalb 14 Tagen
53,49 €
inkl. 7 % MwSt. zzgl. Versandkosten
A Formal Approach to Software Development, Monographs in Computer Science
| ISBN: | 3540523561 |
|---|---|
| ISBN 13: | 9783540523567 |
| Autor: | Partsch, Helmut A |
| Verlag: | Springer Verlag GmbH |
| Umfang: | xiii, 493 S. |
| Erscheinungsdatum: | 05.07.1990 |
| Produktform: | Gebunden/Hardback |
| Einband: | Gebunden |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Aus Nachgelassenen und Kleineren Verstreuten Schriften]()
Aus Nachgelassenen und Kleineren Verstreuten Schriften
54,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
69,54 €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: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
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: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Requirements-Engineering systematisch]()
Requirements-Engineering systematisch
54,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: Wer hat Angst vor Rot, Blau, Gelb?]()
Wer hat Angst vor Rot, Blau, Gelb?
9,95 €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: Die Insel Korfu]()
Die Insel Korfu
37,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
49,22 €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 of Software Systems]()
Specification of Software Systems
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: Neural Cell Specification]()
Neural Cell Specification
53,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: Logic Program Synthesis and Transformation]()
Logic Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Schau mir in die Augen, Dürer!]()
Schau mir in die Augen, Dürer!
28,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Vom Leben und Schaffen des John Stuart Mill und seiner Verteidigungsschrift des Utilitarismus]()
Vom Leben und Schaffen des John Stuart Mill und seiner Verteidigungsschrift des Utilitarismus
17,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Einführung in das Studium der Kunstgeschichte]()
Einführung in das Studium der Kunstgeschichte
11,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
58,84 €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: Die Insel Korfu]()
Die Insel Korfu
44,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die Gletscher der Vorzeit in den Karpathen und den Mittelgebirge Deutschlands]()
Die Gletscher der Vorzeit in den Karpathen und den Mittelgebirge Deutschlands
34,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
58,84 €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: Schräge Töne]()
Schräge Töne
44,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die Gletscher der Vorzeit in den Karpathen und den Mittelgebirge Deutschlands]()
Die Gletscher der Vorzeit in den Karpathen und den Mittelgebirge Deutschlands
59,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die Schutzgebiete des deutschen Reiches]()
Die Schutzgebiete des deutschen Reiches
109,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Program Synthesis and Transformation]()
Logic Program Synthesis and Transformation
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: Klee]()
Klee
15,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Symphonie in Schwarz]()
Symphonie in Schwarz
24,00 €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: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
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: Embracing Model Transformations in Requirements Specification]()
Embracing Model Transformations in Requirements Specification
76,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Central Europe]()
Central Europe
37,50 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die Rechte und Freiheiten der europäischen Menschenrechtskonvention.]()
Die Rechte und Freiheiten der europäischen Menschenrechtskonvention.
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Grundwissen Kunst]()
Grundwissen Kunst
31,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die Darstellung Europas in dem geographischen Werke des Agrippa]()
Die Darstellung Europas in dem geographischen Werke des Agrippa
13,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Deutsches Know-how für russisches Öl?]()
Deutsches Know-how für russisches Öl?
38,00 €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: Electric Lighting Specifications]()
Electric Lighting Specifications
21,90 €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: Der Eigenthumserwerb Durch Specification]()
Der Eigenthumserwerb Durch Specification
59,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die Villen am Griebnitzsee und ihre Geschichte]()
Die Villen am Griebnitzsee und ihre Geschichte
48,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reasoning About Program Transformations]()
Reasoning About Program Transformations
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Program Transformation and Programming Environments]()
Program Transformation and Programming Environments
106,99 €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: Darwin's Lehre und die Specification]()
Darwin’s Lehre und die Specification
34,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tatort Kunst]()
Tatort Kunst
12,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
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: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
51,36 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
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: Engineering contracts and specifications]()
Engineering contracts and specifications
30,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: Parallel Algorithm Derivation and Program Transformation]()
Parallel Algorithm Derivation and Program Transformation
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The ills of indigestion;]()
The ills of indigestion;
26,90 €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: Software Requirements And Specifications]()
Software Requirements And Specifications
79,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: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Arbeiten aus dem Zahnärztlichen Institut der Universität Breslau]()
Arbeiten aus dem Zahnärztlichen Institut der Universität Breslau
54,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die Darstellung Europa's in dem geographischen Werke des Agrippa: Ein Beitrag zur Geschichte der Erdkunde]()
Die Darstellung Europa’s in dem geographischen Werke des Agrippa: Ein Beitrag zur Geschichte der Erdkunde
24,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
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: Formal Systems Specification]()
Formal Systems Specification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
62,05 €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: Logic Based Program Synthesis and Transformation]()
Logic Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Program Synthesis and Transformation]()
Logic Program Synthesis and Transformation
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: Modified Specifications]()
Modified Specifications
20,90 €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: Artemisia Gentileschi]()
Artemisia Gentileschi
30,00 €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: Logic Program Synthesis and Transformation]()
Logic Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Prinzipien und Formen sozialer Sicherung in nicht-industriellen Gesellschaften.]()
Prinzipien und Formen sozialer Sicherung in nicht-industriellen Gesellschaften.
49,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
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: Specification of Software Systems]()
Specification of Software Systems
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: The Potsdam Conference Villas and their History]()
The Potsdam Conference Villas and their History
55,00 €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: Industrial Robot Specifications]()
Industrial Robot Specifications
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: Die Insel Korfu]()
Die Insel Korfu
17,90 €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: Die Darstellung Europa's in dem geographischen Werke des Agrippa: Ein Beitrag zur Geschichte der Erdkunde]()
Die Darstellung Europa’s in dem geographischen Werke des Agrippa: Ein Beitrag zur Geschichte der Erdkunde
44,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die Insel Korfu]()
Die Insel Korfu
24,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Based Program Synthesis and Transformation]()
Logic Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Program Synthesis and Transformation]()
Logic Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
