Hoppa till sidans huvudinnehåll

José Meseguer – författare

Visar alla böcker från författaren José Meseguer.
8 produkter
Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic - Foundations of Security, Protocols, and Equational Reasoning, Häftad
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

729 kr

Skickas inom 10-15 vardagar

Daniel Dougherty, José Meseguer, Sebastian Alexander Mödersheim, Paul Rowe - Protocols, Strands, and Logic, Häftad
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 079 kr

Skickas inom 10-15 vardagar

Jose Meseguer, Carlos A. Varela, Nalini Venkatasubramanian - Concurrent Programming, Open Systems and Formal Methods, Häftad
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 189 kr

Skickas inom 5-8 vardagar

Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer - Algebra, Meaning, and Computation, Häftad

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 409 kr

Skickas inom 10-15 vardagar

Pierpaolo Degano, Rocco de Nicola, José Meseguer - Concurrency, Graphs and Models, Häftad

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 449 kr

Skickas inom 10-15 vardagar

José Meseguer, Grigore Rosu - Algebraic Methodology and Software Technology, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Gul Agha, Olivier Danvy, José Meseguer - Formal Modeling: Actors; Open Systems, Biological Systems, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Shusaku Iida, José Meseguer, Kazuhiro Ogata - Specification, Algebra, and Software, Häftad

Specification, Algebra, and Software

Essays Dedicated to Kokichi Futatsugi

AvShusaku Iida,José Meseguerm. fl.

Häftad, Engelska, 2014

729 kr

Skickas inom 10-15 vardagar