Foundations of software technology and theoretical computer science: 17th conference, kharagpur, india, december 18-20, 1997: proceedings
Auteur :
Ramesh, S.
ISBN :
9783540638766
Date de publication :
28 nov. 1997
Dimensions :
23,4 x 15,6 x 1,9 cm
Poids :
511 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
The papers presented here provide an overview of the foundations of software technology and theoretical computer science. Among the topics addressed are concurrency, Petri nets, graph computations, program verification, model checking, recursion theory, rewriting and error-correcting codes.