Konferenzschrift | Kongress
Formal program development : IFIP TC 2/WG 2.1 state of the art report
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540574996
3540574999
9780387574998
0387574999
- Maße
-
24 cm
- Umfang
-
371 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Literaturangaben
- Erschienen in
-
Lecture notes in computer science ; Vol. 755
- Schlagwort
-
Softwareentwicklung
Formalisierung
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong, Barcelona, Budapest
- (wer)
-
Springer
- (wann)
-
1993
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:25 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Konferenzschrift
- Kongress
Beteiligte
Entstanden
- 1993
Ähnliche Objekte (12)
Formal program development: IFIP TC 2/WG 2 1 state of the art report
Poimandrosatanomachia ecclesia christiana : hoc est: Poemandri Episcopi et Satanicae Veneris pugna ...
Unendliche Objekte und Geflechte
Der Beitrag der Biowissenschaften zur Pädagogik
Laboratory facilities as centres for educational practice and research
Von der Schulanstalt zur Schulunternehmung oder Wer soll die Bildungsreform bezahlen? : eine Einf. in d. Mikroökonomie d. emanzipierten Schule
Thüringer Pfarrerbuch, Bd. 1.. Herzogtum Gotha / bearb. von Bernhard Möller
Thüringer Pfarrerbuch, Bd. 2.. Fürstentum Schwarzburg-Sondershausen / bearb. von Bernhard Möller
Thüringer Pfarrerbuch, Bd. 3.. Großherzogtum Sachsen(-Weimar-Eisenach), Landesteil Eisenach / bearb. von Bernhard Möller
Analytische Unterrichtsmodelle : Ergebnisse u. Probleme d. wissenschaftl. Lernorganisation
The Linear Algebra of UTP
Deductive Hardware Design: A Functional Approach
Formal program development: IFIP TC 2/WG 2 1 state of the art report
Poimandrosatanomachia ecclesia christiana : hoc est: Poemandri Episcopi et Satanicae Veneris pugna ...
Unendliche Objekte und Geflechte
Der Beitrag der Biowissenschaften zur Pädagogik
Laboratory facilities as centres for educational practice and research
Von der Schulanstalt zur Schulunternehmung oder Wer soll die Bildungsreform bezahlen? : eine Einf. in d. Mikroökonomie d. emanzipierten Schule
Thüringer Pfarrerbuch, Bd. 1.. Herzogtum Gotha / bearb. von Bernhard Möller
Thüringer Pfarrerbuch, Bd. 2.. Fürstentum Schwarzburg-Sondershausen / bearb. von Bernhard Möller
Thüringer Pfarrerbuch, Bd. 3.. Großherzogtum Sachsen(-Weimar-Eisenach), Landesteil Eisenach / bearb. von Bernhard Möller
Analytische Unterrichtsmodelle : Ergebnisse u. Probleme d. wissenschaftl. Lernorganisation
The Linear Algebra of UTP
Deductive Hardware Design: A Functional Approach
Formal program development: IFIP TC 2/WG 2 1 state of the art report
Poimandrosatanomachia ecclesia christiana : hoc est: Poemandri Episcopi et Satanicae Veneris pugna ...
Unendliche Objekte und Geflechte
Der Beitrag der Biowissenschaften zur Pädagogik
Laboratory facilities as centres for educational practice and research
Von der Schulanstalt zur Schulunternehmung oder Wer soll die Bildungsreform bezahlen? : eine Einf. in d. Mikroökonomie d. emanzipierten Schule
Thüringer Pfarrerbuch, Bd. 1.. Herzogtum Gotha / bearb. von Bernhard Möller
Thüringer Pfarrerbuch, Bd. 2.. Fürstentum Schwarzburg-Sondershausen / bearb. von Bernhard Möller
Thüringer Pfarrerbuch, Bd. 3.. Großherzogtum Sachsen(-Weimar-Eisenach), Landesteil Eisenach / bearb. von Bernhard Möller
Analytische Unterrichtsmodelle : Ergebnisse u. Probleme d. wissenschaftl. Lernorganisation
The Linear Algebra of UTP