Media type: Book; Commemorative Publication Title: Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever Contributor: Dams, Dennis [HerausgeberIn]; Roever, Willem-Paul de [GefeierteR]; Hannemann, Ulrich [HerausgeberIn]; Steffen, Martin [HerausgeberIn]; Dams, Dennis René [Hrsg.] imprint: Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 5930 Festschrift Extent: X, 375 S.; Ill; 235 mm x 155 mm Language: English ISBN: 364211511X; 9783642115110 Publisher, production or purchase order numbers: Sonstige Nummer: 12830763 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Nebenläufigkeit > Programmierung Programmverifikation Nebenläufigkeit > Model Checking Automatisches Beweisverfahren Nebenläufigkeit > Abstraktion > Formale Methode Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2017 8 757 Item ID: 32415661 Status: Loanable, place order > Ordering possible ‒ please log in