Rajaa
Hakutulokset: Hakutulos
Rajaa
yhteensä 2 hakutulosta
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 …
Biogeochemical Transformations in the Baltic Sea
e-kirja,
2017,
englanti,
ISBN 9783319616995
This book provides a comprehensive review of the biogeochemistry in the Baltic Sea. It is based on the fact that biogeochemical processes that are relevant for the ecological state …