Your search returned 2 results.

Results
	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 : Log in to add tags Add to cart (remove)
	2.	Logic, Rewriting, and Concurrency electronic resource Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday / edited by Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott. by Martí-Oliet, Narciso [editor.] \| Ölveczky, Peter Csaba [editor.] \| Talcott, Carolyn [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)

E-catalog