DaftarIsitemplate

Call Number

005.133 Sek p

Title

Program development by refinement: case studies using the B method

Author

Sekerinski, E.;

Publisher

London: Springer-Verlag, 1999

Subject

B (Computer program language)

Location