The specification of computer programs
Saved in:
Main Author: | Turski, Wadysaw |
---|---|
Other Authors: | Maibaum, Thomas S. E. 1947- |
Format: | Book |
Published: |
Wokingham, England Reading, Mass.
Addison-Wesley
1987
|
Series: | International computer science series
|
Subjects: | |
Online Access: | Click Here to View Status and Holdings. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Formal specification and software development
by: Bjorner, D. 1937- Dines
Published: (1982) -
Program development by specification and transformation the PROSPECTRA methodlogy, language family, and systems
Published: (1993) -
Professional software
by: Ledgard, Henry F. 1943-
Published: (1987) -
Professional software
by: Ledgard, Henry F. 1943-
Published: (1987) -
Larch languages and tools for formal specification
by: Guttag, John
Published: (1993)