- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783897228306
3897228300
- Dimensions
-
24 cm
- Extent
-
239 S.
- Language
-
Deutsch
- Keyword
-
Programmiersprache
Funktionale Semantik
Axiomatische Semantik
Programmverifikation
Programmtransformation
- 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:54 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.
Associated
- Berghammer, Rudolf
- Logos
Time of origin
- 2001
Other Objects (12)
Literatur von Frauen in der DDR der 60erJahre : Untersuchungen zum Verhältnis literarisch-künstlerischer Produktionen und gesellschaftlich-politischer Rahmenbedingungen in Texten von Irmtraud Morgner, Brigitte Reimann, Christa Wolf
The literature of the book : a select bibliography ; with critical essays, of books by, about and for the book professions
Girlism : Feminismus zwischen Subversion und Ausverkauf
Helene Lange : die Theorie der Geschlechterdifferenz im Denken einer gemäßigten bürgerlichen Frauenrechtlerin
Kooperationen zwischen Eisenbahnverkehrsunternehmen, Bd. 1
Persian language course, Buch.
Gramatické minimum k učebnici Themen, 2
Studien zur Trierer Apokalypse, 1.. Text
Gramatické minimum k učebnici Themen, 1
Deutsche Grammatik, Übungsbuch 2
Semantik von Programmiersprachen
Transkriptomanalyse von rekombinanten CHO-Zellen : von der Microarray-Entwicklung bis zur Charakterisierung von Fermentationsprozessen
Literatur von Frauen in der DDR der 60erJahre : Untersuchungen zum Verhältnis literarisch-künstlerischer Produktionen und gesellschaftlich-politischer Rahmenbedingungen in Texten von Irmtraud Morgner, Brigitte Reimann, Christa Wolf
The literature of the book : a select bibliography ; with critical essays, of books by, about and for the book professions
Girlism : Feminismus zwischen Subversion und Ausverkauf
Helene Lange : die Theorie der Geschlechterdifferenz im Denken einer gemäßigten bürgerlichen Frauenrechtlerin
Kooperationen zwischen Eisenbahnverkehrsunternehmen, Bd. 1
Persian language course, Buch.
Gramatické minimum k učebnici Themen, 2
Studien zur Trierer Apokalypse, 1.. Text
Gramatické minimum k učebnici Themen, 1
Deutsche Grammatik, Übungsbuch 2
Semantik von Programmiersprachen
Transkriptomanalyse von rekombinanten CHO-Zellen : von der Microarray-Entwicklung bis zur Charakterisierung von Fermentationsprozessen
Literatur von Frauen in der DDR der 60erJahre : Untersuchungen zum Verhältnis literarisch-künstlerischer Produktionen und gesellschaftlich-politischer Rahmenbedingungen in Texten von Irmtraud Morgner, Brigitte Reimann, Christa Wolf
The literature of the book : a select bibliography ; with critical essays, of books by, about and for the book professions
Girlism : Feminismus zwischen Subversion und Ausverkauf
Helene Lange : die Theorie der Geschlechterdifferenz im Denken einer gemäßigten bürgerlichen Frauenrechtlerin
Kooperationen zwischen Eisenbahnverkehrsunternehmen, Bd. 1
Persian language course, Buch.
Gramatické minimum k učebnici Themen, 2
Studien zur Trierer Apokalypse, 1.. Text
Gramatické minimum k učebnici Themen, 1
Deutsche Grammatik, Übungsbuch 2
Semantik von Programmiersprachen