José Meseguer

No biography available.

Works (4)

Cover of All About Maude - A High-Performance Logical Framework

All About Maude - A High-Performance Logical Framework

Cover of Algebra, meaning, and computation

Algebra, meaning, and computation

Cover of Specification, Algebra, and Software

Specification, Algebra, and Software

Cover of Spacecraft thermal control

Spacecraft thermal control