کتاب های José Meseguer (auth.)
![Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday](http://cdn.ketabkoo.com/covers/0/52095-n.jpg)
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.), 2008![Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday](http://cdn.ketabkoo.com/covers/0/52096-n.jpg)
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.), 2008![All About Maude - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic](http://cdn.ketabkoo.com/covers/0/8332-n.jpg)
All About Maude - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott (auth.), 2007![Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday](http://cdn.ketabkoo.com/covers/0/50107-n.jpg)
Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
David Borgo (auth.), Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (eds.), 2006![Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday](http://cdn.ketabkoo.com/covers/0/50108-n.jpg)
Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
David Borgo (auth.), Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (eds.), 2006![ECOOP 2002 — Object-Oriented Programming: 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings](http://cdn.ketabkoo.com/covers/1/114113-n.jpg)
ECOOP 2002 — Object-Oriented Programming: 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings
José Meseguer, Carolyn Talcott (auth.), Boris Magnusson (eds.), 2002![ECOOP 2002 — Object-Oriented Programming: 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings](http://cdn.ketabkoo.com/covers/1/114114-n.jpg)
ECOOP 2002 — Object-Oriented Programming: 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings
José Meseguer, Carolyn Talcott (auth.), Boris Magnusson (eds.), 2002![Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures](http://cdn.ketabkoo.com/covers/1/160089-n.jpg)
Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures
Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.), 2009![Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures](http://cdn.ketabkoo.com/covers/1/160090-n.jpg)
Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures
Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.), 2009![Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures](http://cdn.ketabkoo.com/covers/1/160091-n.jpg)
Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures
Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.), 2009![Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows](http://cdn.ketabkoo.com/covers/13/1399817-n.jpg)
Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows
Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic, 2019![Spacecraft thermal control](http://cdn.ketabkoo.com/covers/17/1703684-n.jpg)