|
1.
|
All About Maude - A High-Performance Logical Framework Электронный ресурс How to Specify, Program and Verify Systems in Rewriting Logic / by Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, et al. by Clavel, Manuel | Durán, Francisco | Eker, Steven | Lincoln, Patrick | Martí-Oliet, Narciso | Meseguer, José | Talcott, Carolyn | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|