Aufsatzsammlung

Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783642115110
Maße
24 cm
Umfang
X, 375 S.
Sprache
Englisch
Anmerkungen
Ill., graph. Darst.
Literaturangaben

Erschienen in
Lecture notes in computer science ; 5930 : Festschrift

Schlagwort
Nebenläufigkeit
Programmierung
Programmverifikation
Nebenläufigkeit
Model Checking
Automatisches Beweisverfahren
Nebenläufigkeit
Abstraktion
Formale Methode

Ereignis
Veröffentlichung
(wo)
Berlin, Heidelberg, New York, NY
(wer)
Springer
(wann)
2010
Beteiligte Personen und Organisationen
Dams, Dennis
Roever, Willem-Paul de

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:45 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Objekttyp

  • Aufsatzsammlung

Beteiligte

Entstanden

  • 2010

Ähnliche Objekte (12)

Compositionality, concurrency, and partial correctness : proof theories for networks of processes, and their relationship

Compositionality, concurrency, and partial correctness : proof theories for networks of processes, and their relationship

Political Correctness

Vorwort

Political Correctness

Concurrency 88 : proceedings

Konferenzschrift | Kongress

Concurrency 88 : proceedings

J.H. Röver. vormals: Röver & Strandt

Archivale

J.H. Röver. vormals: Röver & Strandt

Roever, ?

Akten

Roever, ?

Roever

Personenakten

Roever

Roever

Akte

Roever

Roever

Akte

Roever

Roever

Akte

Roever

Roever

Akte

Roever

Röver

Akten

Röver

Modernes C++: Concurrency meistern

Modernes C++: Concurrency meistern

Verbundene Objekte