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

Schreibe die erste Bewertung!

Fr. 110.40

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

Predicate Transformer Semantics

Englisch · Taschenbuch

Versand in der Regel in 2 bis 3 Wochen (Titel wird auf Bestellung gedruckt)

Beschreibung

Mehr lesen

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.

Produktdetails

Autoren E. G. Manes, Ernest G. Manes, Ernest. G. Manes
Mitarbeit C. J. van Rijsbergen (Herausgeber), C. J. van Rijsbergen (Herausgeber)
Verlag Cambridge University Press ELT
 
Sprache Englisch
Produktform Taschenbuch
Erschienen 02.12.2004
 
EAN 9780521616102
ISBN 978-0-521-61610-2
Seiten 236
Serie Cambridge Tracts in Theoretica
Themen Naturwissenschaften, Medizin, Informatik, Technik > Informatik, EDV > Informatik
Ratgeber

Kundenrezensionen

Zu diesem Artikel wurden noch keine Rezensionen verfasst. Schreibe die erste Bewertung und sei anderen Benutzern bei der Kaufentscheidung behilflich.

Schreibe eine Rezension

Top oder Flop? Schreibe deine eigene Rezension.

Für Mitteilungen an CeDe.ch kannst du das Kontaktformular benutzen.

Die mit * markierten Eingabefelder müssen zwingend ausgefüllt werden.

Mit dem Absenden dieses Formulars erklärst du dich mit unseren Datenschutzbestimmungen einverstanden.