Tomeki
Cover of 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

By Michael Butler

0 (0 Ratings)
0 Want to read0 Currently reading0 Have read

Publish Date

2008

Publisher

Springer

Language

-

Pages

382

Description:

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