Suchresultat
Theory of Computation (Buch)
Dexter Kozen (Autor), Dexter C. Kozen (Autor)
An advanced survey of all essential topics in theory of computationand related complexity topics. The book provides an up-to-date andunified presentation of all important concepts in computer sciencetheory. TOC: Complexity of computations Time and space complexity [...]
Englisch; Fester Einband
Erschienen: 10.05.2006 / Lieferfrist: 5-7 Tage
CHF 115.00
Dynamic Logic (Buch)
David Harel (Autor), Dexter Kozen (Autor), Jerzy Tiuryn (Autor)
Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations and extensions of classical formalisms. For example, Propositional Dynamic [...]
Englisch; Fester Einband
Erschienen: 2000 / Lieferfrist: 3-5 Wochen (Titel wird speziell besorgt)
CHF 82.80
Mathematics of Program Construction, MPC 2004 (Buch)
Dexter Kozen (Herausgeber), Dexter C. Kozen (Herausgeber), Carron Shankland (Herausgeber)
This book constitutes the refereed proceedings of the 7th International Conference on the Mathematics of Program Construction, MPC 2004, held in Stirling, Scotland, UK in July 2004.The 19 revised full papers presented were carefully reviewed and selected from 37 [...]
Englisch; Taschenbuch
Erschienen: 17.08.2005 / Lieferfrist: 1-2 Wochen (Titel wird auf Bestellung gedruckt)
CHF 109.00