Обложка книги Program Development by Refinement: Case Studies Using the B Method (Formal Approaches to Computing and Information Technology)

Program Development by Refinement: Case Studies Using the B Method (Formal Approaches to Computing and Information Technology)

,

ISBN: 1852330538;