Hoppa till sidans huvudinnehåll

José Meseguer - Böcker

Visar alla böcker från författaren José Meseguer.
8 produkter
Del 11565 - Lecture Notes in Computer Science

Foundations of Security, Protocols, and Equational Reasoning

Essays Dedicated to Catherine A. Meadows

AvJoshua D. Guttman,Carl E. Landwehrm. fl.

Häftad, Engelska, 2019

719 kr

Skickas inom 10-15 vardagar

Del 13066 - Lecture Notes in Computer Science

Protocols, Strands, and Logic

Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday

AvDaniel Dougherty,José Meseguerm. fl.

Häftad, Engelska, 2021

1 059 kr

Skickas inom 10-15 vardagar

Del 16120 - Lecture Notes in Computer Science

Concurrent Programming, Open Systems and Formal Methods

Essays Dedicated to Gul Agha to Celebrate His Scientific Career

AvJose Meseguer,Carlos A. Varelam. fl.

Häftad, Engelska, 2025

1 179 kr

Skickas inom 7-10 vardagar

Algebra, Meaning, and Computation

Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

AvKokichi Futatsugi,Jean-Pierre Jouannaudm. 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

AvPierpaolo Degano,Rocco de Nicolam. 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

AvJosé Meseguer,Grigore Rosu

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

AvGul Agha,Olivier Danvym. fl.

Häftad, Engelska, 2011

719 kr

Skickas inom 10-15 vardagar

Specification, Algebra, and Software

Essays Dedicated to Kokichi Futatsugi

AvShusaku Iida,José Meseguerm. fl.

Häftad, Engelska, 2014

719 kr

Skickas inom 10-15 vardagar