josé meseguer
Formal Modeling: Actors; Open Systems, Biological Systems
EbookSofort lieferbarThis Festschrift volume, published in honor of Carolyn Talcott on the occasion of her 70th birthd...
Foundations of Security, Protocols, and Equational Reasoning
EbookSofort lieferbarCatherine A. Meadows has been a pioneer in developing symbolic formal verification methods and to...
Concurrency, Graphs and Models
EbookSofort lieferbarThis Festschrift volume, pubished in honor of Ugo Montanari on the occasion of his 65th birthday,...
All About Maude - A High-Performance Logical Framework
EbookSofort lieferbarMaude is a language and system based on rewriting logic. In this comprehensive account, you'll di...
Algebraic Methodology and Software Technology
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 12th International Conference on Algebraic ...
Specification, Algebra, and Software
EbookSofort lieferbarThis Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributio...
Algebra, Meaning, and Computation
EbookSofort lieferbarThis volume - honoring the computer science pioneer Joseph Goguen on his 65th Birthday - includes...
Arithmetic and Algebraic Circuits
EbookSofort lieferbarThis book presents a complete and accurate study of arithmetic and algebraic circuits. The first ...
Protocols, Strands, and Logic
EbookSofort lieferbarThis Festschrift was published in honor of Joshua Guttman on the occasion of his 66.66 birthday. ...
Specification, Algebra, and Software
TaschenbuchBezug 11-15This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributio...
All About Maude - A High-Performance Logical Framework
TaschenbuchBezug 11-15This book gives a comprehensive account of Maude, a language and system based on rewriting logic....
Concurrency, Graphs and Models
TaschenbuchBezug 11-15This Festschrift volume, pubished in honor of Ugo Montanari on the occasion of his 65 sup th...
- 1
- 2