Correct system design: recent insights and advances
Auteur :
Steffen, Bernhard
ISBN :
9783540666240
Date de publication :
22 sept. 1999
Dimensions :
23,4 x 15,6 x 2,2 cm
Poids :
613 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
As computers take over systems we rely on in our daily lives, it is important that they perform reliably. This text presents papers on methodology, programming, automation, compilation, and application, to help software engineers and computer scientists understand the foundations of programming.