> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: CD-ROM Titel: All about Maude - a high-performance logical framework : how to specify, program and verify systems in rewriting logic Erschienen: [Berlin; Heidelberg]: Springer, 2007 Erschienen in: Lecture notes in computer science ; 4350,CD Umfang: 1 CD-ROM; 12 cm Sprache: Deutsch ISBN: 9783540719403 RVK-Notation: SS 4800 : Lecture notes in computer science Schlagwörter: Maude Entstehung: Anmerkungen: Weitere Bestandsnachweise 0 : Lecture notes in computer science
Bereichsbibliothek DrePunct – Ausgabe über Ausleihtheke Signatur: 2007 8 056333 Barcode: 31735236 Status: Ausleihbar