José Meseguer – författare

Visar alla böcker från författaren .

8 produkter

Kategorier

8 produkter

Del 11565
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
Del 13066
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
Del 16120
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
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
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
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
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
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