Formal specification and software development /
Saved in:
Main Author: | Bjorner, D. (Dines), 1937- (Author) |
---|---|
Other Authors: | Jones, C. B. (Cliff B.), 1944- |
Format: | Book |
Language: | English |
Published: |
©1982
|
Series: | Prentice-Hall international series in computer science
|
Subjects: | |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Algorithmic language and program development /
by: Bauer, Friedrich Ludwig, 1924- -
Introduction to data processing /
by: Arnold, Robert .R
Published: (1966) -
A practical handbook for software development /
by: Birrell, N. D. -
Formal specification of programming languages a panoramic primer
by: Pagan, Frank G.
Published: (1981) -
Advanced programming : a practical course /
by: Barron, D. W. (David William), 1935-
Published: (1984)