6th Refinement Workshop : Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5-7 January 1994 /
This volume contains the papers presented at the 6th Refinement Workshop which was held in London from 5 - 7 January 1994. The theme of the workshop was "the theory and practice of formal software development", and papers with industrial relevance were particularly encouraged. The papers a...
Main Author: | |
---|---|
Corporate Author: | |
Format: | eBook |
Language: | English |
Published: |
London :
Springer London,
1994.
|
Series: | Workshops in computing.
|
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: |
QA8.9-QA10.3 |
|
---|---|---|
Call Number | Status | Get It |
QA8.9-QA10.3 | Available |