José Meseguer

Identifiers

Open LibraryOL3182865A

Top Subjects

Algebra, data processing (1)
Programming languages (1)
Programming Languages - General (1)
Computers - Languages / Programming (1)
Computers (1)
Logic (1)
Programming - General (1)

Books by José Meseguer

Total count: 10

Algebra, Meaning, and ComputationEssays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Springer London, Limited2006-01-01
Aerodinámica del vueloaves y aeronaves

Aena Aeropuertos, S.A.2007-09-01
All About Maude - A High-Performance Logical FrameworkHow to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science)1 edition

Springer2007-09-14
Concurrency, Graphs and ModelsEssays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Springer London, Limited2008-01-01
Algebraic Methodology and Software Technology12th International Conference, AMAST 2008 Urbana, il, USA, July 28-31, 2008, Proceedings

Springer London, Limited2008-01-01
Formal Modeling : Actors; Open Systems, Biological SystemsEssays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday

Springer London, Limited2011-01-01
Spacecraft thermal control

Woodhead Pub.2012-01-01
Specification, Algebra, and SoftwareEssays Dedicated to Kokichi Futatsugi

Springer London, Limited2014-01-01
Foundations of Security, Protocols, and Equational ReasoningEssays Dedicated to Catherine A. Meadows

Springer2019-04-28
Protocols, Strands, and LogicEssays Dedicated to Joshua Guttman on the Occasion of His 66. 66th Birthday

Springer International Publishing AG2022-01-01