Suchfeld einblenden
Person Clavel, Manuel
2 Treffer
Seite < 1 >
All about Maude
: a high performance logical framework ; how to specify, program and verify systems in rewriting logic ; [mit CD-ROM] / Manuel Clavel .... - Berlin : Springer, 2007. - XXII, 794 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4350)
ISBN 978-3-540-71940-3 / 3-540-71940-7 kart. : EUR 84.53 (freier Pr.), sfr 138.00 (freier Pr.)
Literaturverz. S. 757 - 781
Quelle: DNB Verlagsmeldungen
All about Maude
: a high performance logical framework ; how to specify, program, and verify systems in rewriting logic / Manuel Clavel .... - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4350)
ISBN 978-3-540-71999-1
Lizenzpflichtig
Quelle: DNB
Seite < 1 >
