José Meseguer

No bio available. Add one in Open Library.

Books by José Meseguer (50 max)

+ shelf+ list

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday (Lecture Notes in Computer Science)

2006

Joseph Goguen, Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer

+ 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 Modeling : Actors; Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday

2011

Gul Agha, Olivier Danvy, José Meseguer

+ shelf+ list

Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi

2014

Shusaku Iida, José Meseguer, Kazuhiro Ogata

+ shelf+ list

Aerodinámica del vuelo : aves y aeronaves

2007

José Meseguer, Ángel Sanz

+ shelf+ list

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

2008

Pierpaolo Degano, Rocco de Nicola, José Meseguer

+ shelf+ list

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, il, USA, July 28-31, 2008, Proceedings

2008

José Meseguer, Grigore Rosu

+ shelf+ list

Spacecraft thermal control

2012

José Meseguer

+ shelf+ list

Foundations of Security, Protocols, and Equational Reasoning : Essays Dedicated to Catherine A. Meadows

2019

Joshua Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic

+ shelf+ list

Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of His 66. 66th Birthday

2022

Daniel Dougherty, José Meseguer, Sebastian Alexander Mödersheim, Paul Rowe