Steven Eker

No bio available. Add one in Open Library.

Books by Steven Eker (50 max)

+ shelf+ list

All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science)

2007

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott

+ shelf+ list

Formal methods in specification, CS504a/CS300a.

Steven Eker