A Deductive Proof System for Multithreaded Java with Exceptions
Steffen, Martin ; Ábrahám, Erika ; Boer, Frank S. de ; Roever, Willem-Paul de 2003 Universitätsbibliothek Kiel
- Link zu diesem Datensatz
-
https://d-nb.info/1080326847
- Titel
-
A Deductive Proof System for Multithreaded Java with Exceptions
- Art des Inhalts
- Monographie
- Verfassangaben
- Martin Steffen ; Erika Ábrahám ; Frank S. de Boer ; Willem-Paul de Roever
- Autor(en)
-
- Steffen, Martin
- Ábrahám, Erika
- Boer, Frank S. de
- Roever, Willem-Paul de
- Verlag
- Kiel : Universitätsbibliothek Kiel [2003]
- Jahr
- Erscheinungsdatum: 2003
- Umfang/Format
- Online-Ressource
- ISSN
21926247- Online
- https://nbn-resolving.org/urn:nbn:de:gbv:8:1-zs-00000170-a4
- Sprache
- eng
- Stand
- 22.01.2026 17:02
- Im Katalog seit
- 06.03.2026
Beschreibung vom Verlag
