Autor: Jose Meseguer

Ajutor

8 Ebooks de Jose Meseguer

Gul Agha & Olivier Danvy: Formal Modeling: Actors; Open Systems, Biological Systems
This Festschrift volume, published in honor of Carolyn Talcott on the occasion of her 70th birthday, contains a collection of papers presented at a symposium held in Menlo Park, California, USA, in N …
PDF
Engleză
DRM
€71.39
Joshua D. Guttman & Carl E. Landwehr: Foundations of Security, Protocols, and Equational Reasoning
This Festschrift volume is published in honor of Catherine A. Meadows and contains essays presented at the Catherine Meadows Festschrift Symposium held in Fredericksburg, VA, USA, in May 2019.Catheri …
EPUB
Engleză
DRM
€57.99
Kokichi Futatsugi & Jean-Pierre Jouannaud: Algebra, Meaning, and Computation
Joseph Goguen is one of the most prominent computer scientists worldwide. His numerous research contributions span many topics and have changed the way we think about many concepts. Our views about d …
PDF
Engleză
DRM
€115.13
Manuel Clavel & Francisco Duran: All About Maude – A High-Performance Logical Framework
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used throughout the book to illustrate the main ideas and features of Maude, and it …
PDF
Engleză
DRM
€102.27
Jose Meseguer & Grigore Rosu: Algebraic Methodology and Software Technology
This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008. The 28 revised …
PDF
Engleză
DRM
€57.46
Shusaku Iida & Jose Meseguer: Specification, Algebra, and Software
This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering. Prof. Futatsug …
PDF
Engleză
DRM
€57.19
Daniel Dougherty & Jose Meseguer: Protocols, Strands, and Logic
This Festschrift was published in honor of Joshua Guttman on the occasion of his 66.66 birthday. The impact of his work is reflected in the 23 contributions enclosed in this volume.Joshua s most infl …
EPUB
Engleză
DRM
€83.43