Filter
Sökt på: Sökresultat
Filter
1 träff
Formal Methods for Software Engineering
häftad,
2023,
Engelska,
ISBN 9783030388027
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 …