carolyn talcott

Grid   List

  1. Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman
    Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman
    Wilfried Sieg
    Taylor & Francis eBooks
    Ebook
    Sofort lieferbar
    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 ...
    71,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Logic, Rewriting, and Concurrency
    Logic, Rewriting, and Concurrency
    Narciso Martí-Oliet
    Springer International Publishing
    Ebook
    Sofort lieferbar
    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...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. All About Maude - A High-Performance Logical Framework
    All About Maude - A High-Performance Logical Framework
    Manuel Clavel
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Maude is a language and system based on rewriting logic. In this comprehensive account, you'll discover how Maude and its formal tool environment can be used in three mutually reinforcing ways: as ...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Logic, Language, and Security
    Logic, Language, and Security
    Vivek Nigam
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This Festschrift is in honor of Prof. Andre Scedrov at the University of Pennsylvania. Scedrov has laid the foundations for a number of now well-established domains in mathematics and computer scie...
    64,19 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Formal Methods for Open Object-Based Distributed Systems IV
    Formal Methods for Open Object-Based Distributed Systems IV
    Scott F. Smith
    Springer New York
    Ebook
    Sofort lieferbar
    Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented ...
    213,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Coordination Models and Languages
    Coordination Models and Languages
    Farhad Arbab
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    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 langu...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Composing Model-Based Analysis Tools
    Composing Model-Based Analysis Tools
    Robert Heinrich
    Springer International Publishing
    Ebook
    Sofort lieferbar
    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 u...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman
    Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman
    Wilfried Sieg
    Taylor & Francis eBooks
    Ebook
    Sofort lieferbar
    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 ...
    71,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. Rebeca for Actor Analysis in Action
    Rebeca for Actor Analysis in Action
    Edward A. Lee
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This Festschrift volume, dedicated to Marjan Sirjani on the occasion of her 60th birthday, includes refereed papers by leading researchers.
    69,54 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  10. All About Maude - A High-Performance Logical Framework
    All About Maude - A High-Performance Logical Framework
    Manuel Clavel
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    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 ...
    96,29 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. Coordination Models and Languages
    Coordination Models and Languages
    Carolyn Talcott
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    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 langu...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  12. Logic, Rewriting, and Concurrency
    Logic, Rewriting, and Concurrency
    Narciso Martí-Oliet
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    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...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
<%--for search--%>