Computing and Informatics
Zoznam článkov
Volume 22, 2003, No. 3-4
ISSN 1335-9150 (print)
ISSN 2585-8807 (online)
Obsah:
- REISIG, W.: The Expressive Power of Abstract-State Machines. (s. 209)
- CANSELL, D. - MÉRY, D.: Foundations of the B method. (s. 221)
- DIACONESCU, R. - FUTATSUGI, K. - OGATA, K.: CafeOBJ: Logical Foundations and Methodologies. (s. 257)
- MOSSAKOWSKI, T. - HAXTHAUSEN, A. - SANNELLA, D. - TARLECKI, A.: CASL --- The Common Algebraic Specification Language: Semantics and Proof Theory. (s. 285)
- GEORGE, C. - E. HAXTHAUSEN, A.: The Logic of the RAISE Specification Language. (s. 323)
- MERZ, S.: On the Logic of TLA+. (s. 351)
- C. HENSON, M. - REEVES, S. - P. BOWEN, J.: Z Logic and its Consequences. (s. 381)