A theory and practice of program development /
A Theory and Practice of Program Development provides a comprehensive introduction to a software development method based on VDM-SL. Each development step is rigorously justified, and the strategies and transformations used are justified and explained ma thematically. The approach provides the forma...
Main Author: | |
---|---|
Corporate Author: | |
Format: | eBook |
Language: | English |
Published: |
London ; New York :
Springer,
[1997]
|
Series: | Formal approaches to computing and information technology.
|
Subjects: | |
Online Access: | Connect to the full text of this electronic book |
Internet
Connect to the full text of this electronic bookAvailable Online
Call Number: |
QA76.76.D47 A427 1997 |
|
---|---|---|
Call Number | Status | Get It |
QA76.76.D47 A427 1997 | Available |