OtiumSessione
Sessione
Non abbiamo ancora una biografia di José Meseguer.
Pubblicato in Inglese
Per saperne di più: Open Library (si apre in una nuova scheda)
Specification, Algebra, and Software
2014
Formal Modeling : Actors; Open Systems, Biological Systems
2012
All About Maude - A High-Performance Logical Framework
2007
Algebra, meaning, and computation
2006
Spacecraft thermal control
2012
Protocols, Strands, and Logic
2022
Foundations of Security, Protocols, and Equational Reasoning
2019
Formal Modeling Actors Open Systems Biological Systems Lecture Notes in Computer Science
2011
Concurrency, Graphs and Models
2008
Algebraic Methodology and Software Technology
2008
Aerodinámica del vuelo
2007