Baltic computer science selected (1 Ergebnisse)

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.…