Baltic Computer Science: Selected Papers

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.

• Format: Paperback
• Language: English
• ISBN: 3540541314
• ISBN13: 9783540541318
• Release Date: June 1991
• Publisher: Springer
• Length: 626 Pages
• Weight: 1.93 lbs.
• Dimensions: 1.3" x 6.1" x 9.2"