josé meseguer

Grid   List

  1. Formal Modeling: Actors; Open Systems, Biological Systems
    Formal Modeling: Actors; Open Systems, Biological Systems
    Gul Agha
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    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...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Foundations of Security, Protocols, and Equational Reasoning
    Foundations of Security, Protocols, and Equational Reasoning
    Joshua D. Guttman
    Springer International Publishing
    Ebook
    Sofort lieferbar
    Catherine A. Meadows has been a pioneer in developing symbolic formal verification methods and tools. Her NRL Protocol Analyzer, a tool and methodology that embodies symbolic model checking techniq...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Concurrency, Graphs and Models
    Concurrency, Graphs and Models
    Pierpaolo Degano
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This Festschrift volume, pubished in honor of Ugo Montanari on the occasion of his 65th birthday, contains 43 papers, written by friends and colleagues, all leading scientists in their own right, w...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. 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
  5. Algebraic Methodology and Software Technology
    Algebraic Methodology and Software Technology
    José Meseguer
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    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.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Specification, Algebra, and Software
    Specification, Algebra, and Software
    Shusaku Iida
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering. Prof. Futats...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Algebra, Meaning, and Computation
    Algebra, Meaning, and Computation
    Kokichi Futatsugi
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This volume - honoring the computer science pioneer Joseph Goguen on his 65th Birthday - includes 32 refereed papers by leading researchers in areas spanned by Goguen's work. The papers address a v...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Arithmetic and Algebraic Circuits
    Arithmetic and Algebraic Circuits
    Antonio Lloris Ruiz
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book presents a complete and accurate study of arithmetic and algebraic circuits. The first part offers a review of all important basic concepts: it describes simple circuits for the implement...
    181,89 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. Protocols, Strands, and Logic
    Protocols, Strands, and Logic
    Daniel Dougherty
    Springer International Publishing
    Ebook
    Sofort lieferbar
    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.
    78,10 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  10. Specification, Algebra, and Software
    Specification, Algebra, and Software
    Shusaku Iida
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering. Prof. Futats...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. 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
  12. Concurrency, Graphs and Models
    Concurrency, Graphs and Models
    Pierpaolo Degano
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This Festschrift volume, pubished in honor of Ugo Montanari on the occasion of his 65 sup thsupbirthday, contains 43 papers, written by friends and colleagues, all leading scientists in thei...
    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
<%--for search--%>