Media type: Book Title: Concurrency verification : introduction to compositional and noncompositional methods Contains: Literaturverz. S. 710 - 746 Contributor: Roever, Willem-Paul de [Other] imprint: Cambridge, UK; New York, NY, USA: Cambridge University Press, 2001 Published in: Cambridge tracts in theoretical computer science ; 54 Issue: 1. publ. Extent: XXII, 776 S.; Ill., graph. Darst; 24 cm Language: English ISBN: 0521806089 RVK notation: ST 130 : Allgemeines ST 136 : Automatentheorie, Formale Sprache Keywords: Nebenläufigkeit > Parallelverarbeitung > Softwaretest Automatisches Beweisverfahren Origination: Footnote: Includes bibliographical references and index
Departmental Library DrePunct – stack Shelf-mark: 2002 8 013574 Item ID: 30923976 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order