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

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:	programovací jazyky verifikace programu objektově orientované programování testování sémantika programovacích jazyků
Online Access:	Plný text
Tags:	Add Tag No Tags, Be the first to tag this record!