E. G. Manes, Ernest G. Manes, Ernest. G. Manes, C. J. van Rijsbergen, C. J. van Rijsbergen - Predicate Transformer Semantics

Write the first review!

Fr. 112.80

E. G. Manes, Ernest G. Manes, Ernest. G. Manes, C. J. van Rijsbergen, C. J. van Rijsbergen

Predicate Transformer Semantics

English · Paperback / Softback

Shipping usually within 2 to 3 weeks (title will be printed to order)

Description

Read more

Zusammenfassung This book presents a rigorous foundation for defining Boolean categories and will appeal to graduate students and researchers in theoretical computer science. Inhaltsverzeichnis 1. Finite coproducts; 2. Structure of a Boolean category; 3. Metatheory; 4. Distributive categories; Bibliography; Index.

Product details

Authors E. G. Manes, Ernest G. Manes, Ernest. G. Manes
Assisted by C. J. van Rijsbergen (Editor), C. J. van Rijsbergen (Editor)
Publisher Cambridge University Press ELT
 
Languages English
Product format Paperback / Softback
Released 02.12.2004
 
EAN 9780521616102
ISBN 978-0-521-61610-2
No. of pages 236
Series Cambridge Tracts in Theoretica
Subjects Guides
Natural sciences, medicine, IT, technology > IT, data processing > IT

Customer reviews

No reviews have been written for this item yet. Write the first review and be helpful to other users when they decide on a purchase.

Write a review

Thumbs up or thumbs down? Write your own review.

For messages to CeDe.ch please use the contact form.

The input fields marked * are obligatory

By submitting this form you agree to our data privacy statement.