Liknande böcker

Static Analysis : 4th International Symposium, SAS '97, Paris, France, S...
Bok av Pascal Van Hentenryck
Extensions of the UNITY Methodology : Compositionality, Fairness and Pro...
Bok av Josyula Ramachandra Rao
Languages and Compilers for Parallel Computing : 10th International Work...
Bok av Zhiyuan Li
Finite Representations of CCS and TCSP Programs by Automata and Petri Nets
Bok av Dirk Taubner
Isabelle
Bok av Lawrence C. Paulson
Formal Methods in Programming and Their Applications : International Con...
Bok av Dines Bjorner
Logic Programming and Knowledge Representation
Bok av Jurgen Dix
Advances in Smalltalk : 14th International Smaltalk Conference, ISC 2006...
Bok av Wolfgang. Meuter

Compositionality, Concurrency, and Partial Correctness

Bok av Zwiers