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 BirthdaySpringer London, Limited2006-01-01
Aerodinámica del vueloaves y aeronavesAena 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 editionSpringer2007-09-14-
Concurrency, Graphs and ModelsEssays Dedicated to Ugo Montanari on the Occasion of His 65th BirthdaySpringer London, Limited2008-01-01
-
Algebraic Methodology and Software Technology12th International Conference, AMAST 2008 Urbana, il, USA, July 28-31, 2008, ProceedingsSpringer London, Limited2008-01-01
-
Formal Modeling : Actors; Open Systems, Biological SystemsEssays Dedicated to Carolyn Talcott on the Occasion of Her 70th BirthdaySpringer London, Limited2011-01-01
Spacecraft thermal controlWoodhead Pub.2012-01-01-
Specification, Algebra, and SoftwareEssays Dedicated to Kokichi FutatsugiSpringer London, Limited2014-01-01
Foundations of Security, Protocols, and Equational ReasoningEssays Dedicated to Catherine A. MeadowsSpringer2019-04-28-
Protocols, Strands, and LogicEssays Dedicated to Joshua Guttman on the Occasion of His 66. 66th BirthdaySpringer International Publishing AG2022-01-01