Filter
Søkt på: Søkeresultat
Filter
1 treff
Formal Methods for Software Engineering
innbundet,
2022,
Engelsk,
ISBN 9783030387990
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 …
Fra
367,-