Publisher University of Newcastle upon Tyne, Computing Laboratory
Publication date 1991
Publication location Newcastle upon Tyne
Language English
Descriptive Notes
Cover title.
Topics
Feedback control systems
Combinatorial analysis :: Computer programs
Catalogue Data
OBNB ID GB9202671
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book
ISBD
P1053 [11]p.
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.