Ci, którzy interesowali się tym produktem, kupili także
Opis produktu
Baltic 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.