Menu
Modellling and verification of timing conditions with the Boyer Moore Prover
Cover image not available

Modellling and verification of timing conditions with the Boyer Moore 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:

Modellling and verification of timing conditions with the Boyer Moore 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.