Edellinen kuva
Lähennä
Loitonna
Keskitä
Seuraava kuva
Siirry rajauksiin
Siirry sisältöön
Etusivu
Haut ja palvelut
Perushaku (etusivu)
Aloita uusi haku.
Tarkennettu haku
Tarkemmat hakuehdot.
Hakuhistoria
Istuntokohtainen hakuhistoriasi. Kirjautumalla voit tallentaa hakusi.
Oppimateriaalit
Hae oppimateriaaleja eri aiheista.
Oikopolku tutkittuun tietoon
Syvenny tutkittuun tietoon.
Finna Luokkahuone
Tutustu opetuksen ja oppimisen sisältöihin.
Finna Street
Hae kuvia sijaintisi perusteella.
Tietoa Finnasta
Finna.fi – Kulttuurin ja tieteen aarteet yhdestä osoitteesta
Millaisia aineistoja voit löytää? Kirjautumalla saat enemmän. Monta tapaa käyttää Finna.fi:tä.
Finna – hakupalvelujen kokonaisuus
Mitä eroa Finna.fi:llä ja muilla Finna-hakupalveluilla?
Aineistojen tarjoajat
Lisätietoa Finnasta
Mitä tietoja minusta kerätään? Kuka Finnaa tekee? Finna-API. Finnan ohjelmisto. Palvelun käyttöä koskevat yleiset ehdot. Kuinka organisaationi voi liittyä Finnaan?
Vastuullinen Finna
Uutiset
Häiriötiedotteet
Ohje
Suomi
Suomi
Svenska
English
Kirjaudu
Haku
Hae
Tekijä
Kaikki osumat
Otsikko
Tekijä
Aihe
Hae
Tarkennettu haku
"Back, Ralph-Johan" | Hakutulokset
Kaikki aineistot
Oppimateriaalit
Kaikki aineistot
Lisää
Kaikki aineistot
Oppimateriaalit
Hakutulokset
Rajaa hakua
Näytetään
1
- 20
/
137
Siirry seuraavalle sivulle
Järjestä
Järjestä
Relevanssi
Relevanssi
Vuosi (uusin ensin)
Vuosi (vanhin ensin)
Luokka
Tekijä
Otsikko
Viimeksi muuttunut
Viimeksi lisätty
Järjestä
Relevanssi
Vuosi (uusin ensin)
Vuosi (vanhin ensin)
Luokka
Tekijä
Otsikko
Viimeksi muuttunut
Viimeksi lisätty
Tuloksia sivulla
Tuloksia sivulla
20
20
50
100
Tuloksia sivulla
20
50
100
Näytä
Näytä
Tiedot ja kuvat
Tiedot ja kuvat
Kuvagalleria
Tiivistetty lista
Hakutulos 1
Formalising UML use cases in the refinement calculus
Näytä tarkat tiedot
Kirja
Back, Ralph-Johan
Back, Ralph-Johan
Hae tekijöistä
Hae aiheista
Sulje
;
Petre, Luigia
Petre, Luigia
Hae tekijöistä
Hae aiheista
Sulje
;
Porres Paltor, I.
Porres Paltor, I.
Hae tekijöistä
Hae aiheista
Sulje
1999
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 2
Enforcing behavior with contracts
Näytä tarkat tiedot
Kirja
Back, Ralph-Johan
Back, Ralph-Johan
Hae tekijöistä
Hae aiheista
Sulje
;
Wright, Joakim von
Wright, Joakim von
Hae tekijöistä
Hae aiheista
Sulje
2000
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 3
Field tests of the structured derivations method
Näytä tarkat tiedot
Kirja
Back, Ralph-Johan
Back, Ralph-Johan
Hae tekijöistä
Hae aiheista
Sulje
;
Sjöberg, Mats
Sjöberg, Mats
Hae tekijöistä
Hae aiheista
Sulje
;
Wright, Joakim von
Wright, Joakim von
Hae tekijöistä
Hae aiheista
Sulje
2002
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 4
Reasoning about pointers in refinement calculus
Näytä tarkat tiedot
Kirja
Back, Ralph-Johan
Back, Ralph-Johan
Hae tekijöistä
Hae aiheista
Sulje
;
Fan, Xiaocong
Fan, Xiaocong
Hae tekijöistä
Hae aiheista
Sulje
;
Preoteasa, Viorel
Preoteasa, Viorel
Hae tekijöistä
Hae aiheista
Sulje
2003
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 5
Testing and verifying invariant based programs in the SOCOS environment
Näytä tarkat tiedot
Kirja
Back, Ralph-Johan
Back, Ralph-Johan
Hae tekijöistä
Hae aiheista
Sulje
;
Eriksson, Johannes
Eriksson, Johannes
Hae tekijöistä
Hae aiheista
Sulje
;
Myréen, Magnus
Myréen, Magnus
Hae tekijöistä
Hae aiheista
Sulje
2006
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 6
Program construction by situation analysis
Näytä tarkat tiedot
Kirja
Back, Ralph-Johan
,
1949-
Back, Ralph-Johan
Hae tekijöistä
Hae aiheista
Sulje
1978
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 7
Proving total correctness of nondeterministic programs in infinitary logic
Näytä tarkat tiedot
Kirja
Back, Ralph-Johan
,
1949-
Back, Ralph-Johan
Hae tekijöistä
Hae aiheista
Sulje
1979
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 8
Derivation of efficient marking algorithms for acyclic lists
Näytä tarkat tiedot
Kirja
Back, Ralph-Johan
,
1949-
Back, Ralph-Johan
Hae tekijöistä
Hae aiheista
Sulje
;
Mannila, Heikki
Mannila, Heikki
Hae tekijöistä
Hae aiheista
Sulje
;
Räihä, Kari-Jouko
Räihä, Kari-Jouko
Hae tekijöistä
Hae aiheista
Sulje
1983
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 9
Contracts, games and refinement
Näytä tarkat tiedot
Kirja
Back, Ralph-Johan
Back, Ralph-Johan
Hae tekijöistä
Hae aiheista
Sulje
;
Wright, Joakim von
Wright, Joakim von
Hae tekijöistä
Hae aiheista
Sulje
1997
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 10
Programs on product spaces
Näytä tarkat tiedot
Kirja
Back, Ralph-Johan
Back, Ralph-Johan
Hae tekijöistä
Hae aiheista
Sulje
;
Wright, Joakim von
Wright, Joakim von
Hae tekijöistä
Hae aiheista
Sulje
1997
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 11
Centipede : a program refinement environment
Näytä tarkat tiedot
Kirja
Back, Ralph-Johan
Back, Ralph-Johan
Hae tekijöistä
Hae aiheista
Sulje
;
Hekanaho, Jukka
Hekanaho, Jukka
Hae tekijöistä
Hae aiheista
Sulje
;
Sere, Kaisa
Sere, Kaisa
Hae tekijöistä
Hae aiheista
Sulje
1992
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 12
Atomicity refinement in a refinement calculus framework
Näytä tarkat tiedot
Kirja
Back, Ralph-Johan
Back, Ralph-Johan
Hae tekijöistä
Hae aiheista
Sulje
1993
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 13
13V : a program proof management system
Näytä tarkat tiedot
Kirja
Back, Ralph-Johan
Back, Ralph-Johan
Hae tekijöistä
Hae aiheista
Sulje
;
Hietala, Pentti
Hietala, Pentti
Hae tekijöistä
Hae aiheista
Sulje
1987
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Tampereen yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 14
Multi-process handshaking on broadcasting networks
Näytä tarkat tiedot
Kirja
Back, Ralph-Johan
Back, Ralph-Johan
Hae tekijöistä
Hae aiheista
Sulje
;
Hartikainen, Eeva
Hartikainen, Eeva
Hae tekijöistä
Hae aiheista
Sulje
;
Kurki-Suonio, Reino
Kurki-Suonio, Reino
Hae tekijöistä
Hae aiheista
Sulje
1985
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 15
Refining atomicy in parallel algorithms
Näytä tarkat tiedot
Kirja
Back, Ralph-Johan
Back, Ralph-Johan
Hae tekijöistä
Hae aiheista
Sulje
1988
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 16
Crest, Centre for Reliable Software Technology : progress report 2002-2003
Näytä tarkat tiedot
Kirja
Back, Ralph-Johan
Back, Ralph-Johan
Hae tekijöistä
Hae aiheista
Sulje
;
Sere, Kaisa
Sere, Kaisa
Hae tekijöistä
Hae aiheista
Sulje
2004
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 17
Software development and experimentation in an academic environment : the Gaudi experience
Näytä tarkat tiedot
Kirja
Back, Ralph-Johan
Back, Ralph-Johan
Hae tekijöistä
Hae aiheista
Sulje
;
Milovanov, Luka
Milovanov, Luka
Hae tekijöistä
Hae aiheista
Sulje
;
Porres, Ivan
Porres, Ivan
Hae tekijöistä
Hae aiheista
Sulje
2004
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 18
Incremental software construction with refinement diagrams
Näytä tarkat tiedot
Kirja
Back, Ralph-Johan
Back, Ralph-Johan
Hae tekijöistä
Hae aiheista
Sulje
2005
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 19
Class refinement as semantics of correct subclassing
Näytä tarkat tiedot
Kirja
Back, Ralph-Johan
Back, Ralph-Johan
Hae tekijöistä
Hae aiheista
Sulje
;
Mikhajlova, Anna
Mikhajlova, Anna
Hae tekijöistä
Hae aiheista
Sulje
;
Wright, Joakim von
Wright, Joakim von
Hae tekijöistä
Hae aiheista
Sulje
1998
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 20
Adding type-bound actions to action-oberon
Näytä tarkat tiedot
Kirja
Back, Ralph-Johan
Back, Ralph-Johan
Hae tekijöistä
Hae aiheista
Sulje
;
Büchi, Martin
Büchi, Martin
Hae tekijöistä
Hae aiheista
Sulje
;
Sekerinski, Emil
Sekerinski, Emil
Hae tekijöistä
Hae aiheista
Sulje
1996
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Rajaa hakua
Valintaruuturajaimet
Verkossa saatavilla
Käyttöoikeudet
Lataus keskeytyi
Lataa…
Aineistotyyppi
Lataus keskeytyi
Lataa…
Tekijä
Lataus keskeytyi
Lataa…
Aihe
Lataus keskeytyi
Lataa…
Alue
Lataus keskeytyi
Lataa…
Valmistusvuosi
Lataus keskeytyi
Lataa…
Aiheen aika
Lataus keskeytyi
Lataa…
Kieli
Lataus keskeytyi
Lataa…
Sisältyy kokonaisuuteen
Lataus keskeytyi
Lataa…
Toimiala
Lataus keskeytyi
Lataa…
Organisaatio
Lataus keskeytyi
Lataa…
Uutta Finnassa
Lataus keskeytyi
Lataa…
1
2
3
4
5
RSS-syöte
Lähetä haku sähköpostilla
Tallenna haku
Finna API