Perspectives of system informatics: third international andrei ershov memorial conference, psi'99, akademgorodok, novosibirsk, russia, july 6-9, 1999 proceedings: third international andrei ershov memorial conference, akademgorodok, novosibirsk, russia, july 6-9, 1999, proceedings
Auteur :
Bjorner, Dines
ISBN :
9783540671022
Date de publication :
26 janv. 2000
Dimensions :
23,5 x 15,5 x 3,0 cm
Poids :
836 g
Langue :
Anglais
Pays d'origine :
Allemagne
The papers in this volume are organized in sections on: algebraic specifications; partial evaluation and super compilation; specification with states; concurrency and parallelism; logic and processes; languages and software; database programming; object-oriented programming; and many more.