An Introduction to Practical Formal Methods Using Temporal Logic
Michael Fisher
₹15,170
A Short History of the Mughal Empire
I.B. Tauris · 2016
₹4,550
Free delivery. Nothing extra to pay at checkout.
Same Day ShippingIn 3–5 days
15-Day ReturnEasy returns
Genuine BookPhysical copy only
Available Offers
- 🏷️Use code GIG9, pay ₹4,140 — save ₹410 (up to ₹500 off per order)
- 💵Cash on Delivery — pay when the parcel reaches you
About this book
B. Tauris in 2016.
Book details
- ISBN-13
- 9780755604913
- ISBN-10
- 0755604911
- Author
- Michael Fisher
- Publisher
- I.B. Tauris
- Published
- 2016
- Language
- English
- Condition
- New
More by Michael Fisher and related titles
Vocab Rehab
Michael Fisher
₹1,639
Executable Modal and Temporal Logics
Michael Fisher, Richard Owens
₹5,470
What it Means to be Palestinian
Dina Matar
₹17,706
Consuming Germany in the Cold War
David F. Crew
₹5,081
Secret Nation
Avedis Hadjian
₹3,706
King Arthur's Enchantresses Morgan and Her Sisters in Arthurian Tradition
Carolyne Larrington
₹3,071
The Islamic-Byzantine Frontier
A. Asa Eger
₹3,298
The Cult TV Book
Stacey Abbott
₹3,192
Books on Education, History, Politics, and Society
Gaurav Chaudhary
₹3,122
Frontiers of Ottoman Studies
Keiko Kiyotaki, Rhoads Murphey, Colin Imber
₹13,508
Gender, Modernity and Liberty
Reina Lewis, Nancy Micklewright
₹11,464
