International refinement workshop and formal methods pacific 1998
Auteur :
Vickers, Trevor
ISBN :
9789814021166
Date de publication :
1 déc. 1998
Langue :
Anglais
Pays d'origine :
Singapour
This text discusses mathematically-based techniques for the design and development of computer systems, especially formal or rigorous methods for developing executable programs from abstract specifications, tool support for formal software development and practical experience with formal methods.