Andere Kunden interessierten sich auch für
![A Second Course in Formal Languages and Automata Theory]( "A Second Course in Formal Languages and Automata Theory")
A Second Course in Formal Languages and Automata Theory82,99 €![Functional and Logic Programming - Proceedings of the Second Fuji International Workshop]( "Functional and Logic Programming - Proceedings of the Second Fuji International Workshop")
Functional and Logic Programming - Proceedings of the Second Fuji International Workshop119,99 €![Formal and Adaptive Methods for Automation of Parallel Programs Construction]( "Formal and Adaptive Methods for Automation of Parallel Programs Construction")
Formal and Adaptive Methods for Automation of Parallel Programs Construction208,99 €![Life And Letters Of John Howard Raymond Late President of Vassar College]( "Life And Letters Of John Howard Raymond Late President of Vassar College")
Life And Letters Of John Howard Raymond Late President of Vassar College50,99 €![Learn Visual C# 2019 Edition]( "Learn Visual C# 2019 Edition")
Learn Visual C# 2019 Edition146,99 €![Learn Visual Basic 2019 Edition]( "Learn Visual Basic 2019 Edition")
Learn Visual Basic 2019 Edition147,99 €![Formal Methods for Industrial Critical Systems]( "Formal Methods for Industrial Critical Systems")
Formal Methods for Industrial Critical Systems37,99 €
The focus of this workshop was the development of mathematically-based techniques of formal specification of system behaviour, and the systematic development of implementations. The aim is to produce correct, efficient implementations in a reliable fashion. Topics covered at the workshop include category theory, logic, domain theory, semantics, concurrency, specification and verification. The papers published here range from the purely theoretical to practical applications.