The Object-Z Specification Language

itee.uq.edu.au
Visit Site

By Graeme Smith; Kluwer Academic Publishers, 2000, ISBN 0792386841. Textbook or reference, fully describes topic: semantics, defines all constructs, type and usage rules, specification guidelines, full syntax. [University of Queensland]

Category
Books
Visits
475
Added
Jan 19, 2025
Rating
(15)
Rate This Site
QR Code
QR code Download PNG
Embed Badge
Place this code on your website to show you're listed here.
Get the best links delivered weekly — hand-picked from 1,200,810 resources