The Imperative future View on Open Library

The Imperative future

by Howard Barringer

No reviews yet
First published: 1996 1 language ISBN: 0471961302
Subjects
Development Computer software Symbolic and mathematical Logic Programming languages (Electronic computers) Computer software, development Programming languages (electronic computers) Logic, symbolic and mathematical

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Howard Barringer

Advances in temporal logic

Advances in temporal logic

A survey of verification techniques for parallel programs

A survey of verification techniques for ...

The Imperative Future

The Imperative Future

Up and down the temporal way

Up and down the temporal way

Temporal logic in specification

Temporal logic in specification

You Might Also Like

More in Development
Bible

Bible

Bible
Ὀδύσσεια

Ὀδύσσεια

Όμηρος
The Murder of Roger Ackroyd

The Murder of Roger Ackroyd

Agatha Christie
Laws, etc

Laws, etc

United States
Poems by John Keats

Poems by John Keats

John Keats
Extradition laws and treaties, United States

Extradition laws and treaties, United St...

United States