Data refinement: model-oriented proof methods and their comparison
Auteur :
de Roever, Willem-Paul / Engelhardt, Kai
Éditeur :
Cambridge University Press
ISBN :
9780521641708
Date de publication :
3 déc. 1998
Dimensions :
23,6 x 15,9 x 3,2 cm
Poids :
827 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
Graduate text in formal methods in computer science.