Carolyn Talcott – författare
Visar alla böcker från författaren Carolyn Talcott. Handla med fri frakt och snabb leverans.
17 produkter
Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman
Lecture Notes in Logic 15
Av Carolyn Talcott, Richard Sommer m. fl.
E-bok, 2002
992 kr
Lägg i varukorg
Solomon Feferman has shaped the field of foundational research for nearly half a century. These papers, most of which were presented at the symposium honoring him at his 70th birthday, reflect his broad interests as well as his approach to foundational research, which places the solution of …
Reflections on the Foundations of Mathematics
Essays in Honor of Solomon Feferman
Av Carolyn Talcott, Richard Sommer m. fl.
E-bok
1345 kr
Lägg i varukorg
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the fifteenth publication in the Lecture …
Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman
Lecture Notes in Logic 15
Av Carolyn Talcott, Richard Sommer m. fl.
E-bok, 2002
1022 kr
Lägg i varukorg
Solomon Feferman has shaped the field of foundational research for nearly half a century. These papers, most of which were presented at the symposium honoring him at his 70th birthday, reflect his broad interests as well as his approach to foundational research, which places the solution of …
Logic, Language, and Security
Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
Av Vivek Nigam, Tajana Ban Kirigin m. fl.
Häftad, 2020
678 kr
Lägg i varukorg
This Festschrift was published in honor of Andre Scedrov on the occasion of his 65th birthday. The 11 technical papers and 3 short papers included in this volume show the many transformative discoveries made by Andre Scedrov in the areas of linear logic and structural proof theory; formal reasoning …
Logic, Language, and Security
Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
Av Mitsuhiro Okada, Boon Thau Loo m. fl.
E-bok, 2020
903 kr
Lägg i varukorg
This Festschrift was published in honor of Andre Scedrov on the occasion of his 65th birthday. The 11 technical papers and 3 short papers included in this volume show the many transformative discoveries made by Andre Scedrov in the areas of linear logic and structural proof theory; formal reasoning …
Composing Model-Based Analysis Tools
Av Robert Heinrich, Francisco Durán m. fl.
Inbunden, 2021
1573 kr
Lägg i varukorg
This book presents joint works of members of the software engineering and formal methods communities with representatives from industry, with the goal of establishing the foundations for a common understanding of the needs for more flexibility in model-driven engineering. It is based on the …
Composing Model-Based Analysis Tools
Av Steffen Zschaler, Carolyn Talcott m. fl.
E-bok, 2021
1445 kr
Lägg i varukorg
This book presents joint works of members of the software engineering and formal methods communities with representatives from industry, with the goal of establishing the foundations for a common understanding of the needs for more flexibility in model-driven engineering. It is based on the …
Composing Model-Based Analysis Tools
Av Robert Heinrich, Francisco Durán m. fl.
Häftad, 2022
1126 kr
Lägg i varukorg
This book presents joint works of members of the software engineering and formal methods communities with representatives from industry, with the goal of establishing the foundations for a common understanding of the needs for more flexibility in model-driven engineering. It is based on the …
Rebeca for Actor Analysis in Action
Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday
Av Edward A. Lee, Mohammad Reza Mousavi m. fl.
Häftad, 2025
846 kr
Lägg i varukorg
This Festschrift volume, dedicated to Marjan Sirjani on the occasion of her 60th birthday, includes refereed papers by leading researchers.Marjan Sirjani received her PhD in Computer Engineering from Sharif University of Technology for work on the Formal Specification and Verification of Concurrent …
Rebeca for Actor Analysis in Action
Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday
Av Carolyn Talcott, Mohammad Reza Mousavi m. fl.
E-bok, 2025
1067 kr
Lägg i varukorg
This Festschrift volume, dedicated to Marjan Sirjani on the occasion of her 60th birthday, includes refereed papers by leading researchers. Marjan Sirjani received her PhD in Computer Engineering from Sharif University of Technology for work on the Formal Specification and Verification of …
Logic, Rewriting, and Concurrency
Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
Av Narciso Martí-Oliet, Peter Csaba Ölveczky m. fl.
Häftad, 2015
550 kr
Lägg i varukorg
This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of José Meseguer to honor him on the occasion of his 65th birthday. These papers were presented at a symposium at the University of Illinois at …
Logic, Rewriting, and Concurrency
Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
Av Carolyn Talcott, Peter Csaba Olveczky m. fl.
E-bok, 2015
739 kr
Lägg i varukorg
This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of José Meseguer to honor him on the occasion of his 65th birthday. These papers were presented at a symposium at the University of Illinois at …
Coordination Models and Languages
5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings
Av Farhad Arbab, Carolyn Talcott
Häftad, 2002
566 kr
Lägg i varukorg
This volume contains the proceedings of the Fifth International Conference on Coordination Models and Languages (Coordination 2002), held in York, UK, 8–11 April 2002. Coordination models and languages close the conceptual gap - tween the cooperation model used by the constituent parts of an …
Coordination Models and Languages
5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings
Av Carolyn Talcott, Farhad Arbab
E-bok, 2003
755 kr
Lägg i varukorg
This volume contains the proceedings of the Fifth International Conference on Coordination Models and Languages (Coordination 2002), held in York, UK, 8–11 April 2002. Coordination models and languages close the conceptual gap - tween the cooperation model used by the constituent parts of an …
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 …
Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman
Lecture Notes in Logic 15
Av Wilfried Sieg, Richard Sommer m. fl.
Inbunden, 2002
1247 kr
Tillfälligt slut
Solomon Feferman has shaped the field of foundational research for nearly half a century. These papers, most of which were presented at the symposium honoring him at his 70th birthday, reflect his broad interests as well as his approach to foundational research, which places the solution of …
