An edition of Introduction to Practical Formal Methods Using Temporal Logic (2011)

Introduction to Practical Formal Methods Using Temporal Logic

by Michael Fisher

Introduction to Practical Formal Methods Usin ...

Michael Fisher, Michael Fisher

Not in Library

My Reading Lists:

Use this Work

Check nearby libraries

Buy this book

Last edited by ImportBot

August 21, 2020 | History

Edit

An edition of Introduction to Practical Formal Methods Using Temporal Logic (2011)

This edition doesn't have a description yet. Can you add one?

Publish Date

2011

Publisher

Wiley & Sons, Incorporated, John

Language

English

Pages

368

Check nearby libraries

Buy this book

Showing 5 featured editions. View all 5 editions?

Edition	Availability
1 Introduction to Practical Formal Methods Using Temporal Logic 2012, Wiley & Sons, Incorporated, John in English 1283405342 9781283405348	zzzz Not in Library Libraries near you: WorldCat
2 Introduction to Practical Formal Methods Using Temporal Logic 2011, Wiley & Sons, Incorporated, John in English 1119955084 9781119955085	zzzz Not in Library Libraries near you: WorldCat
3 Introduction to Practical Formal Methods Using Temporal Logic 2011, Wiley & Sons, Incorporated, John in English 1119991463 9781119991465	aaaa Not in Library Libraries near you: WorldCat
4 Introduction to Practical Formal Methods Using Temporal Logic 2011, Wiley & Sons, Limited, John in English 1119991471 9781119991472	zzzz Not in Library Libraries near you: WorldCat
5 Introduction to Practical Formal Methods Using Temporal Logic 2011, Wiley & Sons, Incorporated, John in English 111999148X 9781119991489	zzzz Not in Library Libraries near you: WorldCat