Data refinement: model-oriented proof methods and their comparison
Auteur :
de Roever, Willem-Paul / Engelhardt, Kai
Éditeur :
Cambridge University Press
ISBN :
9780521103503
Date de publication :
18 déc. 2008
Dimensions :
22,9 x 15,2 x 2,5 cm
Poids :
640 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
Graduate text in formal methods in computer science.