- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
0387987177
- Maße
-
24 cm
- Umfang
-
XII, 190 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Literaturverz. S. 183 - 186
- Schlagwort
-
Nebenläufigkeit
Prozessalgebra
Bisimulation
Modallogik
My-Kalkül
Temporale Logik
- Ereignis
-
Veröffentlichung
- (wo)
-
New York, Berlin, Heidelberg, Barcelona, Hong Kong, London, Milan, Paris, Singapore, Tokyo
- (wer)
-
Springer
- (wann)
-
2001
- Urheber
-
Stirling, Colin
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:59 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.
Beteiligte
- Stirling, Colin
- Springer
Entstanden
- 2001
Ähnliche Objekte (12)
Executable modal and temporal logics : proceedings
Probability, random processes, and ergodic properties
Long-memory processes : probabilistic properties and statistical methods
Atmospheric aerosol properties : formation, processes and impacts
Self-reference and modal logic
Ermittlung modaler Parameter aus Übertragungsfrequenzgängen
Modal and Temporal Operators on Partial Orders
![§ 18. [Темпоральные и модальные элементы.]](https://iiif.deutsche-digitale-bibliothek.de/image/2/b89a1f8b-0b24-429f-aa5d-881bb64a3616/full/!306,450/0/default.jpg)
§ 18. [Темпоральные и модальные элементы.]
Vollständige Systeme modaler und intuitionistischer Logik
Modal design algebra
Interactive multi-modal question-answering
Extremes and related properties of random sequences and processes
Executable modal and temporal logics : proceedings
Probability, random processes, and ergodic properties
Long-memory processes : probabilistic properties and statistical methods
Atmospheric aerosol properties : formation, processes and impacts
Self-reference and modal logic
Ermittlung modaler Parameter aus Übertragungsfrequenzgängen
Modal and Temporal Operators on Partial Orders
§ 18. [Темпоральные и модальные элементы.]
Vollständige Systeme modaler und intuitionistischer Logik
Modal design algebra
Interactive multi-modal question-answering
Extremes and related properties of random sequences and processes
Executable modal and temporal logics : proceedings
Probability, random processes, and ergodic properties
Long-memory processes : probabilistic properties and statistical methods
Atmospheric aerosol properties : formation, processes and impacts
Self-reference and modal logic
Ermittlung modaler Parameter aus Übertragungsfrequenzgängen
Modal and Temporal Operators on Partial Orders
§ 18. [Темпоральные и модальные элементы.]
Vollständige Systeme modaler und intuitionistischer Logik
Modal design algebra
Interactive multi-modal question-answering