Predicate Transformer Semantics
Häftad, Engelska, 2004
Av Amherst) Manes, Ernest. G. (University of Massachusetts, Ernest G. Manes, E. G. Manes, C. J. van Rijsbergen
969 kr
Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.This book presents a rigorous foundation for defining Boolean categories and will appeal to graduate students and researchers in theoretical computer science.
Produktinformation
- Utgivningsdatum2004-12-02
- Mått188 x 245 x 17 mm
- Vikt426 g
- FormatHäftad
- SpråkEngelska
- SerieCambridge Tracts in Theoretical Computer Science
- Antal sidor236
- FörlagCambridge University Press
- ISBN9780521616102