Baltic Computer Science
Selected Papers
Buch in deiner Nähe kaufen
Beschreibung
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.
Autor*in
Janis Barzdins
Themen in »Baltic Computer Science«
Compiler Distributed Systems Programmsynthese Spezifikation Synthesis of Programs Test Case Generation Testfallgenerierung Verification Verifikation automata calculus complexity logic programming language semantics