The Omnibus language and integrated verification approach :: Thomas Wilson :: University of Stirling, Dept. of Computing Science and Mathematics 2008 :: OBNB, the Open British National Bibliography

Publication Data

Title The Omnibus language and integrated verification approach
Author Thomas Wilson
Contributor
Publisher University of Stirling, Dept. of Computing Science and Mathematics
Publication date 2008
Publication location Stirling
Language English

Descriptive Notes

"January 08."
Based on a Thesis.

Topics

Computer programs (Verification)
Object-oriented programming languages
Omnibus (Computer program language)

Catalogue Data

OBNB ID GBA903676
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.72

ISBD

P1053 vii, 196 p.
P1042 Includes bibliographical references.

Buy a copy

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

The Omnibus language and integrated verification approach by Thomas Wilson. Published by University of Stirling, Dept. of Computing Science and Mathematics in 2008. Publication and catalogue information, links to buy online and reader comments.