Rajaa
Hakutulokset: Hakutulos
Rajaa
yhteensä 4 hakutulosta
Formal Methods for Software Engineering
sidottu,
2022,
englanti,
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 …
Res gestae Saxonicae / Die Sachsengeschichte
pokkari,
2022,
saksa,
ISBN 9783150142950
Formal Methods for Software Engineering
e-kirja,
2022,
englanti,
ISBN 9783030388003
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 …
Norman Connections
sidottu,
2022,
saksa,
ISBN 9783795436704