carolyn talcott
Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman
EbookSofort lieferbarSolomon Feferman has shaped the field of foundational research for nearly half a century. These p...
Logic, Rewriting, and Concurrency
EbookSofort lieferbarThis Festschrift volume contains 28 refereed papers including personal memories, essays, and regu...
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...
Logic, Language, and Security
EbookSofort lieferbarThis Festschrift is in honor of Prof. Andre Scedrov at the University of Pennsylvania. Scedrov ha...
Formal Methods for Open Object-Based Distributed Systems IV
EbookSofort lieferbarFormal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fiel...
Coordination Models and Languages
EbookSofort lieferbarThis volume contains the proceedings of the Fifth International Conference on Coordination Models...
Composing Model-Based Analysis Tools
EbookSofort lieferbarThis book presents joint works of members of the software engineering and formal methods communit...
Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman
EbookSofort lieferbarSolomon Feferman has shaped the field of foundational research for nearly half a century. These p...
Rebeca for Actor Analysis in Action
EbookSofort lieferbarThis Festschrift volume, dedicated to Marjan Sirjani on the occasion of her 60th birthday, includ...
Formal Methods for Open Object-Based Distributed Systems IV
TaschenbuchBezug 16-20Formal Methods for Open Object-Based Distributed SystemsIV presents the leading edge i...
All About Maude - A High-Performance Logical Framework
TaschenbuchPrint on DemandThis book gives a comprehensive account of Maude, a language and system based on rewriting logic....
Composing Model-Based Analysis Tools
TaschenbuchPrint on DemandThis book presents joint works of members of the software engineering and formal methods commu...
- 1
- 2