- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540671022
3540671021
- Dimensions
-
24 cm
- Extent
-
XII, 540 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 1755
- Keyword
-
Theoretische Informatik
Programmierung
Model Checking
Künstliche Intelligenz
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Singapore, Tokyo
- (who)
-
Springer
- (when)
-
2000
- Contributor
-
Bjørner, Dines
International Andrei Ershov Memorial Conference (3 : 1999 : Nowosibirsk-Akademgorodok)
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:54 PM CEST
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
- Bjørner, Dines
- International Andrei Ershov Memorial Conference (3 : 1999 : Nowosibirsk-Akademgorodok)
- Springer
Time of origin
- 2000
Other Objects (12)
Perspectives of system informatics : proceedings
Perspectives of systems informatics : revised papers
Perspectives of systems informatics : revised papers
Perspectives of system informatics : revised papers
Perspectives of system informatics : revised papers
Perspectives of systems informatics : revised selected papers
Perspectives of systems informatics : revised selected papers
Perspectives in business informatics research : 12th international conference ; proceedings
Perspectives in business informatics research : 10th international conference ; proceedings
Perspectives in business informatics research : 9th international conference ; proceedings
Theoretical informatics : proceedings
Theoretical informatics : proceedings
Perspectives of system informatics : proceedings
Perspectives of systems informatics : revised papers
Perspectives of systems informatics : revised papers
Perspectives of system informatics : revised papers
Perspectives of system informatics : revised papers
Perspectives of systems informatics : revised selected papers
Perspectives of systems informatics : revised selected papers
Perspectives in business informatics research : 12th international conference ; proceedings
Perspectives in business informatics research : 10th international conference ; proceedings
Perspectives in business informatics research : 9th international conference ; proceedings
Theoretical informatics : proceedings
Theoretical informatics : proceedings
Perspectives of system informatics : proceedings
Perspectives of systems informatics : revised papers
Perspectives of systems informatics : revised papers
Perspectives of system informatics : revised papers
Perspectives of system informatics : revised papers
Perspectives of systems informatics : revised selected papers
Perspectives of systems informatics : revised selected papers
Perspectives in business informatics research : 12th international conference ; proceedings
Perspectives in business informatics research : 10th international conference ; proceedings
Perspectives in business informatics research : 9th international conference ; proceedings
Theoretical informatics : proceedings