adicionar à lista de desejos
Temporal Logic: Volume 1
Mathematical Foundations And Computational Aspects
language: english
Publisher:
Oxford University Press, July of 1994 ‧
see product details
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.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9780198537694 |
| Publisher: | Oxford University Press |
| Release Date: | July of 1994 |
| Language: | English |
| Cover: | Hardcover |
| Pages: | 668 |
| Format: | Book |
| Collection: | Oxford Logic Guides |
| Categories: |
Books in English
>
Science
>
Mathematics
Books in English > Others |
| EAN: | 9780198537694 |
BOOKS FROM THE SAME COLLECTION
-
imagem não disponívelSet TheorySet TheoryeBook10%OUP Oxford43,71€ 10% CARD
-
Controlling The Capital10%Oxford University Press118,97€ 10% CARDfree shipping
-
A New Perspective On Nonmonotonic Logics10%Springer International Publishing AG121,66€ 10% CARDfree shipping
-
Meta-Logical Investigations In Argumentation NetworksCOLLEGE PUBLICATIONS25,11€