Media type: Book; Thesis Title: Compositionality, concurrency and partial correctness : proof theories for networks of processes, and their connection Contributor: Zwiers, Jakob [Author] Published: 1988 Extent: 289 S. Language: English Keywords: Parallelverarbeitung > Programmierung > Programmverifikation Origination: University thesis: Eindhoven, Techn. Univ., Diss., 1988 Footnote: Auch ersch. als: Lecture notes in computer science ; 321
Departmental Library DrePunct – stack Shelf-mark: 0890 80807 001 Item ID: 10096608 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order