Tell your friends about this item:
Baltic Computer Science: Selected Papers - Lecture Notes in Computer Science Janis Barzdins
Baltic Computer Science: Selected Papers - Lecture Notes in Computer Science
Janis Barzdins
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.
626 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | June 28, 1991 |
| ISBN13 | 9783540541318 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 626 |
| Dimensions | 155 × 235 × 32 mm · 875 g |
| Language | German |
| Editor | Barzdins, Janis |
| Editor | Bjorner, Dines |
More by Janis Barzdins
Show allMere med samme udgiver
See all of Janis Barzdins ( e.g. Paperback Book )