Mathematics of program construction: 4th international conference, mpc'98, marstrand, sweden, june 15-17, 1998 proceedings
Auteur :
Jeuring, Johan
ISBN :
9783540645917
Date de publication :
27 mai 1998
Dimensions :
23,3 x 15,5 x 2,0 cm
Poids :
559 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
A collection of papers devoted to the use of clear mathematics in the discovery and design of algorithms and the development of corresponding software and hardware. Various approaches to formal methods for systems design and analysis are covered.