Menu
Verification of timing conditions using a theorem prover
Cover image not available

Verification of timing conditions using a theorem prover

A. Koelmans

Publication Data

Descriptive Notes

Cover title.

Topics

Catalogue Data

ISBD

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Verification of timing conditions using a theorem prover by A. Koelmans. Published by University of Newcastle upon Tyne, Computing Laboratory in 1991. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.