- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-299X
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
The symbiosis of concurrency and verification: teaching and case studies ; volume:30 ; number:2 ; day:20 ; month:12 ; year:2017 ; pages:239-277 ; date:3.2018
Formal aspects of computing ; 30, Heft 2 (20.12.2017), 239-277, 3.2018
- Urheber
-
Pedersen, Jan B.
- Beteiligte Personen und Organisationen
-
Welch, Peter H.
SpringerLink (Online service)
- DOI
-
10.1007/s00165-017-0447-x
- URN
-
urn:nbn:de:1111-201804078357
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:47 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
- Pedersen, Jan B.
- Welch, Peter H.
- SpringerLink (Online service)
Ähnliche Objekte (12)
Workshop Concurrency, Specification and Programming, Vol. 2.. Specification and verification
Caching, crashing & concurrency - verification under adverse conditions
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
Algorithms, concurrency and knowledge : proceedings
Symbiosis and the Anthropocene
Python Multithreading and Multiprocessing: Concurrency and Parallelism
Concurrency and Distribution in Reactive Programming
Symbiosis
Symbiosis of plants and microbes
Bounded symbiosis and upwards reflection
Concurrency and parallelism, programming, networking, and security : proceedings
Concurrency 88 : proceedings
Workshop Concurrency, Specification and Programming, Vol. 2.. Specification and verification
Caching, crashing & concurrency - verification under adverse conditions
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
Algorithms, concurrency and knowledge : proceedings
Symbiosis and the Anthropocene
Python Multithreading and Multiprocessing: Concurrency and Parallelism
Concurrency and Distribution in Reactive Programming
Symbiosis
Symbiosis of plants and microbes
Bounded symbiosis and upwards reflection
Concurrency and parallelism, programming, networking, and security : proceedings
Concurrency 88 : proceedings
Workshop Concurrency, Specification and Programming, Vol. 2.. Specification and verification
Caching, crashing & concurrency - verification under adverse conditions
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
Algorithms, concurrency and knowledge : proceedings
Symbiosis and the Anthropocene
Python Multithreading and Multiprocessing: Concurrency and Parallelism
Concurrency and Distribution in Reactive Programming
Symbiosis
Symbiosis of plants and microbes
Bounded symbiosis and upwards reflection
Concurrency and parallelism, programming, networking, and security : proceedings