Catalogo · 9781450304559
Proceedings of the 9th International Workshop on Adaptive and Reflective Middleware
ISBN 9781450304559
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Logic, Rewriting, and Concurrency
Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott
Composing Model-Based Analysis Tools
Robert Heinrich, Francisco Durán, Carolyn Talcott, Steffen Zschaler
All About Maude - A High-Performance Logical Framework
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott
Reflections on the Foundations of Mathematics
Wilfried Sieg, Richard Sommer, Carolyn Talcott
Reflections on the Foundations of Mathematics : Essays in Honor of Solomon Feferman
Wilfried Sieg, Richard Sommer, Carolyn Talcott
Rebeca for Actor Analysis in Action
Mohammad Reza Mousavi, Edward A. Lee, Carolyn Talcott
Logic, Language, and Security
Vivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Joshua Guttman, Stepan Kuznetsov
Verba volant · scripta manent