José Meseguer – författare
Visar alla böcker från författaren José Meseguer. Handla med fri frakt och snabb leverans.
18 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, 2019
566 kr
Lägg i varukorg
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.Catherine A. Meadows has been a pioneer in developing symbolic formal verification methods and tools. Her …
Foundations of Security, Protocols, and Equational Reasoning
Essays Dedicated to Catherine A. Meadows
Av Dusko Pavlovic, Jose Meseguer m. fl.
E-bok, 2019
755 kr
Lägg i varukorg
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. Catherine A. Meadows has been a pioneer in developing symbolic formal verification methods and tools. Her …
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, 2021
835 kr
Lägg i varukorg
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 influential and enduring contribution to the field has been the development of the strand space …
Protocols, Strands, and Logic
Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday
Av Paul Rowe, Sebastian Alexander Modersheim m. fl.
E-bok, 2021
1067 kr
Lägg i varukorg
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 influential and enduring contribution to the field has been the development of the strand space …
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, 2025
1190 kr
Lägg i varukorg
This Festschrift is dedicated to Gul Agha in recognition of his outstanding research and teaching impact. Gul Agha received his undergraduate degree at Caltech in 1977 and his A.M., M.S. and Ph.D. degrees at the University of Michigan, Ann Arbor. His thesis led to the MIT Press book Actors: A Model …
Concurrent Programming, Open Systems and Formal Methods
Essays Dedicated to Gul Agha to Celebrate His Scientific Career
Av Nalini Venkatasubramanian, Carlos A. Varela m. fl.
E-bok, 2025
1175 kr
Lägg i varukorg
This Festschrift is dedicated to Gul Agha in recognition of his outstanding research and teaching impact. Gul Agha received his undergraduate degree at Caltech in 1977 and his A.M., M.S. and Ph.D. degrees at the University of Michigan, Ann Arbor. His thesis led to the MIT Press book Actors: A Model …
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, 2006
1093 kr
Lägg i varukorg
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 data types, programming languages, software specification and verification, computational behavior, …
Algebra, Meaning, and Computation
Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
Av Jose Meseguer, Jean-Pierre Jouannaud m. fl.
E-bok, 2006
1470 kr
Lägg i varukorg
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 data types, programming languages, software specification and verification, computational behavior, …
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, 2008
1126 kr
Lägg i varukorg
This volume contains the 43 papers written by close collaboratorsand friends of UgoMontanariincelebrationofhis65thbirthday.Insomesense,thevolumeisa re?ection, with gratitude and admiration, on Ugo's highly creative, remarkably fruitful and intellectually generous life, which is thriving as strongly …
Concurrency, Graphs and Models
Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
Av Jose Meseguer, Rocco de Nicola m. fl.
E-bok, 2008
1455 kr
Lägg i varukorg
All About Maude - A High-Performance Logical Framework
How to Specify, Program, and Verify Systems in Rewriting Logic
Av Manuel Clavel, Francisco Durán m. fl.
2007
1195 kr
Lägg i varukorg
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 its many possible uses. Maude modules are rewrite theories. Computation with such modules is - cient …
All About Maude - A High-Performance Logical Framework
How to Specify, Program, and Verify Systems in Rewriting Logic
Av Carolyn Talcott, Jose Meseguer m. fl.
E-bok, 2007
1335 kr
Lägg i varukorg
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 its many possible uses. Maude modules are rewrite theories. Computation with such modules is - cient …
Algebraic Methodology and Software Technology
12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings
Av José Meseguer, Grigore Rosu
Häftad, 2008
566 kr
Lägg i varukorg
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 full papers presented together with 3 invited talks were carefully reviewed and selected from 58 …
Algebraic Methodology and Software Technology
12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings
Av Grigore Rosu, Jose Meseguer
E-bok, 2008
755 kr
Lägg i varukorg
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 full papers presented together with 3 invited talks were carefully reviewed and selected from 58 …
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, 2011
566 kr
Lägg i varukorg
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 November 2011.Carolyn Talcott is a leading researcher and mentor of international renown among …
Formal Modeling: Actors; Open Systems, Biological Systems
Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
Av Jose Meseguer, Olivier Danvy m. fl.
E-bok, 2011
755 kr
Lägg i varukorg
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 November 2011.Carolyn Talcott is a leading researcher and mentor of international renown among …
Specification, Algebra, and Software
Essays Dedicated to Kokichi Futatsugi
Av Shusaku Iida, José Meseguer m. fl.
Häftad, 2014
566 kr
Lägg i varukorg
This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering. Prof. Futatsugi is one of the founding fathers of the field of algebraic specification and verification and is a …
Specification, Algebra, and Software
Essays Dedicated to Kokichi Futatsugi
Av Kazuhiro Ogata, Jose Meseguer m. fl.
E-bok, 2014
739 kr
Lägg i varukorg
This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering. Prof. Futatsugi is one of the founding fathers of the field of algebraic specification and verification and is a …
