It looks like you're offline.

Last edited by RenameBot

September 13, 2008 | History

Edit

Howard Barringer

We need a photo of Howard Barringer

Born

1951

6 works Add another?

Sort by:

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Random

— Show only ebooks?

Advances in Temporal Logic (APPLIED LOGIC SERIES Volume 16) (Applied Logic Series)

by Howard Barringer First published in 1999 — 2 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
The Imperative Future Principles of Executable Temporal Logic: Principles of Executable Temporal Logic (Advanced Software Development Series)

by Howard Barringer First published in 1996 — 2 editions

Locate

My Reading Lists:

Create a new list
The Imperative Future: Principles of Executable Temporal Logic (Advanced Software Development Series)

by Howard Barringer First published in 1996 — 1 edition

Locate

My Reading Lists:

Create a new list
A survey of verification techniques for parallel programs

by Howard Barringer First published in 1985 — 1 edition

Locate

My Reading Lists:

Create a new list
Up and down the temporal way

by Howard Barringer First published in 1985 — 1 edition

Locate

My Reading Lists:

Create a new list
Temporal logic in specification: Altrincham, UK, April 8-10, 1987 : proceedings

by Howard Barringer First published in 1989 — 1 edition

Locate

My Reading Lists:

Create a new list

We need a photo of Howard Barringer

Born

1951

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL1296806A

Links outside Open Library

No links yet. Add one?

History

Created April 1, 2008
2 revisions

Download catalog record: RDF / JSON

September 13, 2008	Edited by RenameBot	fix author name
April 1, 2008	Created by an anonymous user	initial import