José Meseguer – författare
Visar alla böcker från författaren José Meseguer.
8 produkter
Foundations of Security, Protocols, and Equational Reasoning
Essays Dedicated to Catherine A. Meadows
Av Joshua D. Guttman, Carl E. Landwehr m. fl.
Häftad, 2019
739 kr
Lägg i varukorg
Protocols, Strands, and Logic
Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday
Av Daniel Dougherty, José Meseguer m. fl.
Häftad, 2021
1089 kr
Lägg i varukorg
Concurrent Programming, Open Systems and Formal Methods
Essays Dedicated to Gul Agha to Celebrate His Scientific Career
Av Jose Meseguer, Carlos A. Varela m. fl.
Häftad, 2025
1549 kr
Lägg i varukorg
Algebra, Meaning, and Computation
Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
Av Kokichi Futatsugi, Jean-Pierre Jouannaud m. fl.
Häftad, 2006
1419 kr
Lägg i varukorg
Concurrency, Graphs and Models
Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
Av Pierpaolo Degano, Rocco de Nicola m. fl.
Häftad, 2008
1469 kr
Lägg i varukorg
Algebraic Methodology and Software Technology
12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings
Av José Meseguer, Grigore Rosu
Häftad, 2008
739 kr
Lägg i varukorg
Formal Modeling: Actors; Open Systems, Biological Systems
Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
Av Gul Agha, Olivier Danvy m. fl.
Häftad, 2011
739 kr
Lägg i varukorg
Specification, Algebra, and Software
Essays Dedicated to Kokichi Futatsugi
Av Shusaku Iida, José Meseguer m. fl.
Häftad, 2014
739 kr
Lägg i varukorg