José Meseguer
Author detail
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
Overview
Catalog identity and bibliographic footprint for this author.
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryFO
Foundations of Security, Protocols, and Equational Reasoning
cover - Image source: Open LibrarySA
Specification, Algebra, and Software
cover - Image source: Open LibraryFM
Formal Modeling : Actors; Open Systems, Biological Systems
cover - Image source: Open LibraryST
Spacecraft thermal control
cover - Image source: Open LibraryAA
All About Maude - A High-Performance Logical Framework
cover - Image source: Open LibraryAD
Aerodinámica del vuelo
cover - Image source: Open LibraryAM
Algebra, meaning, and computation
cover - PSProtocols, Strands, and LogicJosé Meseguer
Protocols, Strands, and Logic
no cover - CGConcurrency, Graphs and ModelsJosé Meseguer
Concurrency, Graphs and Models
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
Foundations of Security, Protocols, and Equational Reasoning
- Open Work
Specification, Algebra, and Software
- Open Work
Formal Modeling : Actors; Open Systems, Biological Systems
- Open Work
Spacecraft thermal control
- Open Work
All About Maude - A High-Performance Logical Framework
- Open Work
Aerodinámica del vuelo
- Open Work
Algebra, meaning, and computation
- Open Work
Protocols, Strands, and Logic
- Open Work
Concurrency, Graphs and Models