Media type: Book; Commemorative Publication; Conference Proceedings Title: Concurrency, graphs and models : essays dedicated to Ugo Montanari on the occasion of his 65th birthday Contributor: Degano, Pierpaolo [Hrsg.]; Montanari, Ugo [GefeierteR]; De Nicola, Rocco [Other]; Meseguer, José [Other] imprint: Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Lecture notes in computer science ; 5065 Festschrift Extent: XV, 810 S.; Ill., graph. Darst; 24 cm Language: English ISBN: 3540686762; 9783540686767 Publisher, production or purchase order numbers: Sonstige Nummer: 12276066 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Montanari, Ugo > Informatik Constraint-Programmierung > Logische Programmiersprache Graphersetzungssystem Software Engineering > Programmverifikation Nebenläufigkeit > Berechnungstheorie Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2016 8 9452 Item ID: 31981244 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order