Konferenzschrift | Kongress
Formal program development : IFIP TC 2/WG 2.1 state of the art report
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540574996
3540574999
9780387574998
0387574999
- Dimensions
-
24 cm
- Extent
-
371 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 755
- Keyword
-
Softwareentwicklung
Formalisierung
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong, Barcelona, Budapest
- (who)
-
Springer
- (when)
-
1993
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 11:59 AM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
Time of origin
- 1993
Other Objects (12)
Formal program development: IFIP TC 2/WG 2 1 state of the art report
Unendliche Objekte und Geflechte
Poimandrosatanomachia ecclesia christiana : hoc est: Poemandri Episcopi et Satanicae Veneris pugna ...
Relations as a program development language
Thüringer Pfarrerbuch, Bd. 2.. Fürstentum Schwarzburg-Sondershausen / bearb. von Bernhard Möller
An Algebraic Approach to Systolic Circuits
The Linear Algebra of UTP
Ideal Stream Algebra
Der Beitrag der Biowissenschaften zur Pädagogik
Thüringer Pfarrerbuch, Bd. 3.. Großherzogtum Sachsen(-Weimar-Eisenach), Landesteil Eisenach / bearb. von Bernhard Möller
Thüringer Pfarrerbuch, Bd. 1.. Herzogtum Gotha / bearb. von Bernhard Möller
Analytische Unterrichtsmodelle : Ergebnisse u. Probleme d. wissenschaftl. Lernorganisation
Formal program development: IFIP TC 2/WG 2 1 state of the art report
Unendliche Objekte und Geflechte
Poimandrosatanomachia ecclesia christiana : hoc est: Poemandri Episcopi et Satanicae Veneris pugna ...
Relations as a program development language
Thüringer Pfarrerbuch, Bd. 2.. Fürstentum Schwarzburg-Sondershausen / bearb. von Bernhard Möller
An Algebraic Approach to Systolic Circuits
The Linear Algebra of UTP
Ideal Stream Algebra
Der Beitrag der Biowissenschaften zur Pädagogik
Thüringer Pfarrerbuch, Bd. 3.. Großherzogtum Sachsen(-Weimar-Eisenach), Landesteil Eisenach / bearb. von Bernhard Möller
Thüringer Pfarrerbuch, Bd. 1.. Herzogtum Gotha / bearb. von Bernhard Möller
Analytische Unterrichtsmodelle : Ergebnisse u. Probleme d. wissenschaftl. Lernorganisation
Formal program development: IFIP TC 2/WG 2 1 state of the art report
Unendliche Objekte und Geflechte
Poimandrosatanomachia ecclesia christiana : hoc est: Poemandri Episcopi et Satanicae Veneris pugna ...
Relations as a program development language
Thüringer Pfarrerbuch, Bd. 2.. Fürstentum Schwarzburg-Sondershausen / bearb. von Bernhard Möller
An Algebraic Approach to Systolic Circuits
The Linear Algebra of UTP
Ideal Stream Algebra
Der Beitrag der Biowissenschaften zur Pädagogik
Thüringer Pfarrerbuch, Bd. 3.. Großherzogtum Sachsen(-Weimar-Eisenach), Landesteil Eisenach / bearb. von Bernhard Möller
Thüringer Pfarrerbuch, Bd. 1.. Herzogtum Gotha / bearb. von Bernhard Möller