Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Ralph-Johan Back 20 träffar

Titel Författare År Språk
1 Correctness preserving program refinements - proof theory and applications Ralph-Johan Back 1980 Engelska
2 On the correctness of refinement steps in program development Ralph-Johan Back 1978 Engelska
3 Contracts, games and refinement Ralph-Johan Back 1997 Engelska
4 Doing high school mathematics carefully Ralph-Johan Back 1997 Engelska
5 Programs on product spaces Ralph-Johan Back 1997 Engelska
6 Class refinement as semantics of correct subclassing Ralph-Johan Back 1998 Engelska
7 Modeling component environments and interactive programs using iterative choice Ralph-Johan Back 1998 Engelska
8 Products in the refinement calculus Ralph-Johan Back 1999 Engelska
9 Encoding, decoding and data refinement Ralph-Johan Back 1999 Engelska
10 Structured derivations - a method for doing high-school mathematics carefully Ralph-Johan Back 1999 Engelska
11 Formalising UML use cases in the refinement calculus Ralph-Johan Back 1999 Engelska
12 Interpreting nondeterminism in the refinement calculus Ralph-Johan Back 1996 Engelska
13 Adding type-bound actions to action-oberon Ralph-Johan Back 1996 Engelska
14 Proceedings of the Winter School on Theoretical Computer Science - January 3-January 6, 1984, Lammi, Finland Winter School on Theoretical Computer Science (1984 : Lammi) 1983 Engelska
15 Transactions on Computational Systems Biology XI Corrado. Priami 2009 Engelska
16 Transactions on Computational Systems Biology XIII Corrado. Priami 2011 Engelska
17 Transactions on Computational Systems Biology XI Corrado Priami 2009 Okänt
18 Refinement Calculus electronic resource : A Systematic Introduction / by Ralph-Johan Back, Joakim Wright Ralph-Johan. author. Back uuuu-uuuu Okänt
19 Transactions on Computational Systems Biology XIII 2011 Okänt
20 Refinement Calculus : A Systematic Introduction / by Ralph-Johan Back, Joakim Wright Ralph-Johan. author. Back uuuu-uuuu Okänt

1

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.