Time & Logic Image close
Time & Logic
Time & Logic
Show Hide Adult Content
Time & Logic close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Mathematical foundations  
Mathematical logic

Time & Logic

A Computational Approach
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$78.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 2-3 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

Afterpay is available on orders $100 to $2000 Learn more

6 weekly interest-free payments of $13.00 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 28 May - 7 Jun using International Courier

Explore more Routledge Revivals

See all products in this series

Frege, Dedekind, and Peano on the Foundations of Arithmetic (Routledge Revivals) on Hardback by Donald Gillies
$442.00
Frege, Dedekind, and Peano on the Foundations of Arithmetic...
by Donald Gillies ~ Hardback
Available - Usually ships in 3-4 weeks
Large Deviations For Performance Analysis by Alan Weiss
$106.00
Large Deviations For Performance Analysis
by Alan Weiss ~ Paperback / softback
Available - Usually ships in 2-3 weeks
Large Deviations For Performance Analysis on Hardback by Alan Weiss
$496.00
Large Deviations For Performance Analysis
by Alan Weiss ~ Hardback
Available - Usually ships in 3-4 weeks
Frege, Dedekind, and Peano on the Foundations of Arithmetic (Routledge Revivals) by Donald Gillies
$123.00
Frege, Dedekind, and Peano on the Foundations of Arithmetic...
by Donald Gillies ~ Paperback / softback
Available - Usually ships in 2-3 weeks
The Child in Primitive Society on Hardback by Nathan Miller
$355.00
The Child in Primitive Society
by Nathan Miller ~ Hardback
Pre-order - out 29 Jun 2024
National Character on Hardback by Ernest Barker
$358.00
National Character
by Ernest Barker ~ Hardback
Pre-order - out 28 Jun 2024
The Shadow in the Cave by Anthony Smith
$133.00
The Shadow in the Cave
by Anthony Smith ~ Paperback / softback
Pre-order - out 30 May 2024
The Double Standard on Hardback by Margrit Eichler
$329.00
The Double Standard
by Margrit Eichler ~ Hardback
Pre-order - out 29 Jun 2024
Systematic Aesthetics on Hardback by Richard Winfield
$358.00
Systematic Aesthetics
by Richard Winfield ~ Hardback
Pre-order - out 30 May 2024
Alternative Medicines
$133.00
Alternative Medicines
Paperback / softback
Pre-order - out 1 Jun 2024
The New-Old Land of Israel on Hardback by Norman Bentwich *Deceased*
$329.00
The New-Old Land of Israel
by Norman Bentwich *Deceased* ~ Hardback
Pre-order - out 30 May 2024
Politics without Parliaments on Hardback by Esther S Cope
$317.00
Politics without Parliaments
by Esther S Cope ~ Hardback
Pre-order - out 28 Jun 2024
Aleen Cust Veterinary Surgeon on Hardback by Connie M. Ford
$214.00
Aleen Cust Veterinary Surgeon
by Connie M. Ford ~ Hardback
Pre-order - out 1 Jul 2024
The British Seashore on Hardback by H. G. Vevers
$291.00
The British Seashore
by H. G. Vevers ~ Hardback
Pre-order - out 30 May 2024
Bullying
$119.00
Bullying
Paperback / softback
Pre-order - out 30 May 2024
Jean Racine by Geoffrey Brereton
$133.00
Jean Racine
by Geoffrey Brereton ~ Paperback / softback
Pre-order - out 2 May 2024

Description

Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasis in the book is on presenting a broad range of approaches to computational applications. The techniques used will also be applicable in many cases to formalisms beyond temporal logic alone, and it is hoped that adaptation to many different logics of program will be facilitated. Throughout, the authors have kept implementation-orientated solutions in mind. The book begins with an introduction to the basic ideas of temporal logic. Successive chapters examine particular aspects of the temporal theoretical computing domain, relating their applications to familiar areas of research, such as stochastic process theory, automata theory, established proof systems, model checking, relational logic and classical predicate logic. This is an essential addition to the library of all theoretical computer scientists. It is an authoritative work which will meet the needs both of those familiar with the field and newcomers to it.
Release date NZ
September 30th, 2021
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
  • Undergraduate
Contributors
  • Edited by Andrzej Szalas
  • Edited by Leonard Bolc
Pages
338
ISBN-13
9780367336578
Product ID
35173989

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Computers & Internet >
Computer science >
Computer architecture & logic design