This item is not eligible for Amazon Prime, but millions of other items are. Join Amazon Prime today. Already a member? Sign in.

Get it for less! Order it used

Have one to sell? Sell yours here

Share with Friends

Automatic verification of finite state concurrent systems using temporal logic specifications: A practical approach

I own the rights to this title and would like to make it available again through Amazon.

Tell the Publisher! I�d like to read this book on Kindle Don�t have a Kindle? Get yours here.

Automatic verification of finite state concurrent systems using temporal logic specifications: A practical approach (Unknown Binding)

by Edmund Melson Clarke (Author)

No customer reviews yet. Be the first.

Out of Print--Limited Availability.

Product Details

Unknown Binding: 14 pages
Publisher: Carnegie-Mellon University, Dept. of Computer Science (1983)
Language: English
ASIN: B0006YKFDW
Average Customer Review: No customer reviews yet. Be the first.

Would you like to update product info or give feedback on images?

Tag this product

(What's this?)

Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items.

Help others find this product — tag it for Amazon search

No one has tagged this product for Amazon search yet. Why not be the first to suggest a search for which it should appear?

Sell a Digital Version of This Book in the Kindle Store

If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store. Learn more

Customer Reviews

There are no customer reviews yet. Create your own review

Video reviews

New feature! Amazon now allows customers to upload product video reviews. Use a webcam or video camera to record and upload reviews to Amazon.

.jsOffDisplayBlock { display: block; } .jsOffDisplayInline { display: inline; } .jsOffVisibility { visibility: visible; } .jsOnDisplayBlock { display: none; } .jsOnDisplayNoneBlock { display: block; } .jsOnDisplayNoneInline { display: inline; } .jsOnDisplayInline { display: none; } .jsOnVisibility { visibility: hidden; } .jsOnDisplayBlock { display: none; } .jsOnDisplayInline { display: none; } .jsOnVisibility { visibility: hidden; }

Customer Discussions

Beta (What's this?)

New! See all customer communities, and bookmark your communities to keep track of them.

This product's forum (0 discussions)

	Discussion	Replies	Latest Post
	No discussions yet

Ask questions, Share opinions, Gain insight

Start a new discussion

Topic:

First post:

Receive e-mail when new posts are made

Prompts for sign-in

[Cancel]

Guidelines

Product Information from the Amapedia Community

Beta (What's this?)

Be the first person to add an article about this item at Amapedia.com.

› See featured Amapedia.com articles

Look for Similar Items by Category

Books > Computers & Internet > Programming

Spruce Up the Garage

Turn your garage into a real showstopper with easy-to-install floor tiles from Gladiator and New Age Products.

›Shop all flooring

Big Savings in Books

Find great titles at fantastic prices in our Bargain Books Store.

Summer Reading for Kids & Teens

Discover everything from beach reads and board books to teen romance and action-adventure series in Summer Reading for Kids & Teens. And, check off the kids' required reading lists in our Summer School Reading Store.