Sökt på: Böcker av Ralph-Johan Back
totalt 7 träffar
Refinement Calculus
Much current research in computer science is concerned with two questions: is a program correct? And how can we improve a correct program preserving correctness? This latter …
Teaching Mathematics in the Digital Age with Structured Derivations
Transactions on Computational Systems Biology XIII
The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the fields of computer science and life sciences and supports …
Refinement Calculus
Much current research in computer science is concerned with two questions: is a program correct? And how can we improve a correct program preserving correctness? This latter …
Transactions on Computational Systems Biology XIII
The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the fields of computer science and life sciences and supports …
Transactions on Computational Systems Biology XI
Biology is witnessing a transformation towards a more quantitative science, based on the major technological breakthroughs of the past decade. In this transformation, biology is …