Media type: CD-ROM Title: All about Maude - a high-performance logical framework : how to specify, program and verify systems in rewriting logic Published: [Berlin; Heidelberg]: Springer, 2007 Published in: Lecture notes in computer science ; 4350,CD Extent: 1 CD-ROM; 12 cm Language: German ISBN: 9783540719403 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Maude Origination: Footnote:
Departmental Library DrePunct – lending at desk Shelf-mark: 2007 8 056333 Item ID: 31735236 Status: Loanable