Baltic Computer Science by Dines Bjorner, Janis Barzdins

Baltic Computer Science



Download Baltic Computer Science




Baltic Computer Science Dines Bjorner, Janis Barzdins
Language: English
Page: 624
Format: djvu
ISBN: 3540541314, 9783540541318
Publisher: Springer

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.

MORE EBOOKS:
Dr. C. Wacko Presents Commodore 64 Basic and the Whiz-Bang Miracle Machine download pdf
Baltic Computer Science download pdf







Tags: Download Baltic Computer Science ebook
Download Baltic Computer Science ebook pdf
Download Baltic Computer Science ebook djvu
Download Baltic Computer Science ebook epub
Baltic Computer Science ebook
Baltic Computer Science download
Baltic Computer Science download book
Baltic Computer Science ebook pdf
Baltic Computer Science ebook djvu
Baltic Computer Science ebook epub
Dines Bjorner, Janis Barzdins ebooks