Introduction to Practical Formal Methods Using Temporal Logic

View on Open Library

Introduction to Practical Formal Methods Using Temporal Logic

by Michael Fisher

No reviews yet

First published: 2011 1 language ISBN: 9781283405348

Subjects

Logic, symbolic and mathematical

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Michael Fisher

Upgrade Your Curriculum

Upgrade Your Curriculum

Scalability Rules

Scalability Rules

Digital Learning Strategies

Digital Learning Strategies

Town and the Fury

Town and the Fury

Art of Scalability

Art of Scalability

Oxford Revise

You Might Also Like

More in Logic, symbolic and ...

Tractatus logico-philosophicus

Tractatus logico-philosophicus

Ludwig Wittgenstein

An Investigation of the Laws of Thought (Barnes & Noble)

An Investigation of the Laws of Thought ...

George Boole

Algèbre de la logique

Algèbre de la logique

Louis Couturat

The Game of Logic

The Game of Logic

Lewis Carroll

Gödel's proof

Ernest Nagel

Philosophische Untersuchungen

Philosophische Untersuchungen

Ludwig Wittgenstein