ENGLISH

Baltic Computer Science: Selected Papers

By Jānis Bārzdiņš , G. Mints , E. Tyugu (auth.) , Dines Bjørner (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1991
ISBN
978-3-540-54131-8, 978-3-540-47427-2
DOI
10.1007/BFb0019352
Language
english
Format
PDF
Filesize
9 MB (9301486 bytes)
Series
Lecture Notes in Computer Science 502
Edition
1
Pages
626\624
Orientation
yes
Scanned
yes
Time added
2013-08-01 04:00:00
CompilersInterpretersProgramming Techniques; Software Engineering; Comp

Description

This volume presents a substantial part of the results obtained in the last few years in the field of computer science in the Baltic Republics of Estonia, Latvia and Lithuania. It includes results previously published only in Russian as well as completely new results. The following main topics are addressed: deductive synthesis of programs, automatic test case generation, and specification and generation of distributed systems. These are all fields where Baltic scientists have made substantial contributions. The volume contains both theoretical results and general descriptions and logical outlines of some practical systems.

Similar books