Baltic computer science: selected papers
Auteur :
Barzdins, Janis
ISBN :
9783540541318
Date de publication :
28 juin 1991
Dimensions :
23,5 x 15,5 x 3,2 cm
Poids :
1940 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This volume presents recent computer science work from the Baltic Republics of Estonia, Latvia and Lithuania. The following topics are addressed: synthesis of programs, automatic test case generation, specification and verification of distributed systems.