Z Knihobotu sa stáva Bookbot!
Bookbot

Egon Börger Poradie kníh

    13. máj 1946
    Advances in software engineering
    Modeling companion for software practitioners
    The classical decision problem
    Abstract state machines
    Abstract state machines, B and Z
    Architecture design and validation methods