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

Title:

Personal Author:

Series:

Lecture Notes in Computer Science, 4350

Publication Information:

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.

Physical Description:

xxii, 797 p. : ill., digital.

ISBN:

9783540719991

9783540719403

General Note:

Available in online version

Subject Term:

Added Corporate Author:

Electronic Access:

Genre:

DSP_RESTRICTION_NOTE:

Remote access restricted to users with a valid UTM ID via VPN

Library	Item Barcode	Call Number	Material Type	Item Category 1	Status
Searching... PSZ JB	EB000891	EB 000891	Electronic Book	1:EBOOK	Searching... Unknown