Serie Texts in Theoretical Computer Science. An EATCS Series – alle Bücher

Markus Roggenbach

Formal Methods for Software Engineering

Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The first part o…