Media type: Book; Conference Proceedings Title: Specification and verification of concurrent systems Contains: Literaturangaben Contributor: Rattray, Charles [Hrsg.] Corporation: British Computer Society, Specialist Group in Formal Aspects of Computing Science Event: Workshop on Specification and Verification of Concurrent Systems imprint: London; Berlin; Heidelberg [u.a.]: Springer, 1990 Published in: Workshops in computing Extent: VIII, 612 S.; graph. Darst Language: English ISBN: 3540195815; 0387195815 RVK notation: SS 1988 : Veranstaltungsjahr 1988 ST 150 : Hardware, Rechnerarchitektur allgemein, von-Neumann-Architektur Keywords: Nebenläufigkeit > Spezifikation Nebenläufigkeit > Verifikation Origination: Footnote: Includes index
Departmental Library DrePunct – stack Shelf-mark: 0892 81032 001 Item ID: 10427459 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order