10 libri per 10 euro qui
Bookbot

Egon Börger

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