Title: Abstract State Machines B And Z First International Conference Abz 2008 London Uk September 1618 2008 Proceedings
Subjects: Logic design, Computer science, Software engineering, Database management, Machine theory, Z (computer program language), Congresses, B method (Computer science), Z (Computer program language), Abstrakte Zustandsmaschine, B-Methode, Z (Programmiersprache)