Predicate transformer semantics
Auteur :
Manes, Ernest. G.
Éditeur :
Cambridge University Press
ISBN :
9780521616102
Date de publication :
2 déc. 2004
Dimensions :
24,5 x 18,8 x 1,7 cm
Poids :
426 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
This book presents a rigorous foundation for defining Boolean categories and will appeal to graduate students and researchers in theoretical computer science.