Skip to content
Free delivery across IndiaCash on delivery
BooksBajar
Cover of An Introduction to Practical Formal Methods Using Temporal Logic

An Introduction to Practical Formal Methods Using Temporal Logic

by Michael Fisher

John Wiley And Sons · 2011 · Hardcover

₹15,170

Free delivery. Nothing extra to pay at checkout.

  • Delivery in 3–7 days to any serviceable pincode in India, with tracking.
  • Cash on delivery. Pay when the parcel reaches you.
  • 15-day returns. See what qualifies.

About this book

An Introduction to Practical Formal Methods Using Temporal Logic is written by Michael Fisher. This hardcover edition from John Wiley And Sons (2011) has 353 pages.

The book deals with Symbolic and mathematical Logic, Temporal automata, Electronics & Communications Engineering and General Theory of Computing.

About the author: Michael Fisher (born 1933). About the author: Michael Fisher (born 1962).

Book details

ISBN-13
9780470027882
ISBN-10
0470027886
Author
Michael Fisher
Publisher
John Wiley And Sons
Author dates
Michael Fisher (born 1933); Michael Fisher (born 1962)
Published
2011
Edition
Illustrated
Binding
Hardcover
Pages
353
Language
English
Condition
New
Subject
Computers & Internet

More by Michael Fisher and related titles

See all