Knihobot

Egon Borger Pořadí knih

    13. květen 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