Program development by refinement : case studies using the B method


E. Sekerinski and K. Sere (eds)
Bok Engelsk 1999

Detaljer

Bibliotek som har denne