Abstract State Machines B And Z First International Conference Abz 2008 London Uk September 1618 2008 Proceedings

Abstract State Machines B And Z First International Conference Abz 2008 London Uk September 1618 2008 Proceedings
Details
- OL Work ID
- OL17502837W
Subjects
Logic designComputer scienceSoftware engineeringDatabase managementMachine theoryZ (computer program language)CongressesB method (Computer science)Z (Computer program language)Abstrakte ZustandsmaschineB-MethodeZ (Programmiersprache)