Cite this
Email this
Export Record
Save to List
Order a print copy

All about Maude : a high-performance logical framework : how to specify, program and verify systems in rewriting logic

Saved in:
Bibliographic Details
Other Authors: Clavel, Manuel, 1969- (Author) 
Format: Book
Language:English
Published: Berlin : Springer, 2007
Series:Lecture notes in computer science, 4350
Tutorial
Genre/form:monografie
ISSN:0302-9743 ;
ISBN:978-3-540-71940-3
3-540-71940-7
Subjects:
Online Access:Plný text
Tags: Add Tag
No Tags, Be the first to tag this record!
Cover Image
Description
Physical Description:xix, 794 s. : il. + 1 CD-ROM
Bibliography:Obsahuje bibliografii a rejstřík