Temporal Logic: Volume 1

Name: Temporal Logic: Volume 1
Price: 435.99
Author: Dov M. Gabbay, Mark (, Dept Of Ciencia Da Computacaouniv Sao Paulo, Brazil) Reynolds e Ian Hodkinson
ISBN: 9780198537694

Mathematical Foundations And Computational Aspects

by Dov M. Gabbay, Mark (, Dept Of Ciencia Da Computacaouniv Sao Paulo, Brazil) Reynolds e Ian Hodkinson

language: english

Publisher: Oxford University Press, July of 1994 ‧ see product details

(0)

be the first to comment

OUT OF STOCK OR NOT AVAILABLE

Sell your book

SYNOPSIS

BL Indispensable reference for both the pure logician and the theoretical computer scientistThis long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of the most important areas of logic in computer science.

DETeBook com proteção para wookreaderILS

Temporal Logic: Volume 1

Mathematical Foundations And Computational Aspects

by Dov M. Gabbay, Mark (, Dept Of Ciencia Da Computacaouniv Sao Paulo, Brazil) Reynolds e Ian Hodkinson
Property	Description
ISBN:	9780198537694
Publisher:	Oxford University Press
Release Date:	July of 1994
Language:	English
Cover:	Hardcover
Pages:	668
Format:	Book
Collection:	Temporal Logic
Categories:	Books in English > Science > Mathematics Books in English > Others
EAN:	9780198537694

FROM THE SAME AUTHORS

DOV M. GABBAY

10%

A New Perspective On Nonmonotonic Logics

Karl SchlechtaandDov M. Gabbay

Springer International Publishing AG

121,66€ 10% CARD

free shipping
Meta-Logical Investigations In Argumentation Networks

Dov M. Gabbay

COLLEGE PUBLICATIONS

25,11€
Logic A History Of Its Central Concepts

Dov M. Gabbay

ELSEVIER SCIENCE & TECHNOLOGY

240,76€

SEE MORE TITLES BY THIS AUTHOR