Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
An Introduction to Practical Formal Methods Using Temporal Logic

An Introduction to Practical Formal Methods Using Temporal Logic

by Michael Fisher Hardcover 2011

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Michael Fisher
  • ISBN 13: 9780470027882
  • ISBN 10: 0470027886
  • Publication Year: 2011
  • Language: English

Specifications

Index-100470027886
LanguageEnglish
Index-139780470027882
Period-
Class Track-
Publisher- (2011)
Pages-

✨ Readers also enjoyed...

View All →
Advances in Temporal Logic

Advances in Temporal Logic

Howard Barringer, Dov Gabbay, Graham Gough, Michael Fisher

Inquire
A Short History of the Mughal Empire

A Short History of the Mughal Empi…

Michael Fisher

Inquire
Balancing the School Calendar : Perspectives from the Public and Stakeholders

Balancing the School Calendar : Pe…

Frederick M. Hess, Lloyd H. Elliott, William L. Bainbridge, Michael Fisher, Keither G. Baker

Inquire
Computational Logic in Multi-Agent Systems : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings

Computational Logic in Multi-Agent…

Michael Fisher, Leon van der Torre, Mehdi Dastani, Guido Governatori

Inquire
Computational Logic in Multi-Agent Systems : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invit

Computational Logic in Multi-Agent…

Michael Fisher, Fariba Sadri, Michael Thielscher

Inquire