Hoppa till sidans huvudinnehåll

José Meseguer - Böcker

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, Engelska, 2019

719 kr

Skickas inom 10-15 vardagar

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, Engelska, 2021

1 059 kr

Skickas inom 10-15 vardagar

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, Engelska, 2025

1 339 kr

Skickas inom 10-15 vardagar

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, Engelska, 2006

1 389 kr

Skickas inom 10-15 vardagar

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, Engelska, 2008

1 429 kr

Skickas inom 10-15 vardagar

Algebraic Methodology and Software Technology

12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings

Av José Meseguer, Grigore Rosu m. fl

Häftad, Engelska, 2008

719 kr

Skickas inom 10-15 vardagar

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, Engelska, 2011

719 kr

Skickas inom 10-15 vardagar

Specification, Algebra, and Software

Essays Dedicated to Kokichi Futatsugi

Av Shusaku Iida, José Meseguer m. fl

Häftad, Engelska, 2014

719 kr

Skickas inom 10-15 vardagar