Tapsoft '93 theory and practice of software development: 4th international joint conference caap/fase, orsay, france, april 13-17, 1993. proceedings
Auteur :
Gaudel, M-.C.
ISBN :
9783540566106
Date de publication :
6 avr. 1993
Dimensions :
23,4 x 15,6 x 3,9 cm
Poids :
1074 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
The aim of the conferences upon which this volume is based is to bring together theoretical computer scientists and researchers in software engineering, with a view to discussing how formal methods can be applied usefully in software development.