Koop 10 boeken voor 10 € hier!
Bookbot

Egon Börger

    13 mei 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