Ralph-Johan Back – författare
Visar alla böcker från författaren Ralph-Johan Back. Handla med fri frakt och snabb leverans.
5 produkter
Refinement Calculus
A Systematic Introduction
Av Ralph-Johan Back, Joakim Wright
Häftad, 1998
1203 kr
Lägg i varukorg
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 question is known as the refinement of programs and the purpose of this book is to consider these questions in a formal …
Refinement Calculus
A Systematic Introduction
Av Joakim Wright, Ralph-Johan Back
E-bok, 2012
1459 kr
Lägg i varukorg
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 question is known as the refinement of programs and the purpose of this book is to consider these questions in a formal …
Transactions on Computational Systems Biology XIII
Av Ralph-Johan Back, Ion Petre m. fl.
Häftad, 2011
552 kr
Lägg i varukorg
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 a paradigmatic shift in the techniques from computer and information science to cope with the new challenges arising …
Transactions on Computational Systems Biology XIII
Av Erik de Vink, Ion Petre m. fl.
E-bok, 2011
718 kr
Lägg i varukorg
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 a paradigmatic shift in the techniques from computer and information science to cope with the new challenges arising …
