Aufsatzsammlung
Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991 - 1992, McMaster University, Hamilton, Ontario, Canada
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540568834
3540568832
9780387568836
0387568832
- Dimensions
-
24 cm
- Extent
-
X, 398 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 693
- Keyword
-
Funktionale Programmierung
Nebenläufigkeit
Prototyping
Automatisches Beweisverfahren
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong, Barcelona, Budapest
- (who)
-
Springer
- (when)
-
1993
- Contributor
-
Lauer, Peter E.
- 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, 2:16 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
- Aufsatzsammlung
Associated
- Lauer, Peter E.
- Springer
Time of origin
- 1993
Other Objects (12)
Lecture Notes : Concurrency Topics in Java
Reverse exchange for concurrency and local reasoning
Concurrency and local reasoning under reverse exchange
Concurrency 88 : proceedings
Modernes C++: Concurrency meistern
Optimistic concurrency control revisited
Concurrency as a modality
Improving foreign key concurrency
Optimistic concurrency control revisited
Causality versus true-concurrency
Session-based concurrency, declaratively
Axiomatic systems in concurrency theory
Lecture Notes : Concurrency Topics in Java
Reverse exchange for concurrency and local reasoning
Concurrency and local reasoning under reverse exchange
Concurrency 88 : proceedings
Modernes C++: Concurrency meistern
Optimistic concurrency control revisited
Concurrency as a modality
Improving foreign key concurrency
Optimistic concurrency control revisited
Causality versus true-concurrency
Session-based concurrency, declaratively
Axiomatic systems in concurrency theory
Lecture Notes : Concurrency Topics in Java
Reverse exchange for concurrency and local reasoning
Concurrency and local reasoning under reverse exchange
Concurrency 88 : proceedings
Modernes C++: Concurrency meistern
Optimistic concurrency control revisited
Concurrency as a modality
Improving foreign key concurrency
Optimistic concurrency control revisited
Causality versus true-concurrency
Session-based concurrency, declaratively