Formal methods in programming and their applications: international conference, academgorodok, novosibirsk, russia, june 28-july 2, 1993 - proceedings
Auteur :
Bjorner, Dines
ISBN :
9783540573166
Date de publication :
5 oct. 1993
Dimensions :
23,4 x 15,6 x 2,3 cm
Poids :
1390 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This volume contains the papers selected for presentation at an international conference organized by the Institute of Informatics Systems of the Siberian Division of the Russian Academy of Sciences. Topics discussed include semantics, software specification and program logic.