Items related to Time And Logic: A Computational Approach

Time And Logic: A Computational Approach ISBN 13: 9781857282337

Time And Logic: A Computational Approach - Hardcover

 
9781857282337: Time And Logic: A Computational Approach

Synopsis

Time and logic are central driving concepts in science and technology. In this book, some of the major current developments in our understanding and application of temporal logic are presented in computational terms. "Time and Logic: A Computational Approach" should be a useful sourcebook for those within the specific field of temporal logic, as well as providing valuable introductory material for those seeking an entry into this increasingly important area of theoretical computing.; The emphasis of the book is on presenting a broad range of approaches to computational applications. The techniques used will also be applicable in many cases to formalize beyond temporal logic alone, and it is hoped that adaptation to many different logics of programmes will be facilitated. Throughout, the authors have kept implementation-oriented solutions in mind.; The book begins with an introduction to the basic ideas of temporal logic. Successive chapters then 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 should be a useful addition to the library of all theoretical computer scientists, providing a synthesis of well established results in temporal logic with the most up-to-date findings of some of the world's leading theoreticians.

"synopsis" may belong to another edition of this title.

  • PublisherCRC Press
  • Publication date1995
  • ISBN 10 1857282337
  • ISBN 13 9781857282337
  • BindingHardcover
  • LanguageEnglish
  • Edition number1
  • Number of pages325
  • EditorBolc Leonard

Buy Used

Condition: Good
This is an ex-library book and...
View this item

£ 4.48 shipping within United Kingdom

Destination, rates & speeds

Other Popular Editions of the Same Title

9780367336530: Time & Logic: A Computational Approach (Routledge Revivals)

Featured Edition

ISBN 10:  0367336537 ISBN 13:  9780367336530
Publisher: Routledge, 2020
Hardcover

Search results for Time And Logic: A Computational Approach

Stock Image

Bolc, L. and Szala, A.
Published by UCL Press, 1995
ISBN 10: 1857282337 ISBN 13: 9781857282337
Used Hardcover

Seller: Anybook.com, Lincoln, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,750grams, ISBN:9781857282337. Seller Inventory # 9096862

Contact seller

Buy Used

£ 11.34
Convert currency
Shipping: £ 4.48
Within United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Published by CRC Press, 1995
ISBN 10: 1857282337 ISBN 13: 9781857282337
Used Hardcover

Seller: Mispah books, Redhill, SURRE, United Kingdom

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Hardcover. Condition: Like New. Like New. book. Seller Inventory # ERICA79018572823376

Contact seller

Buy Used

£ 91
Convert currency
Shipping: £ 8
Within United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket