SULJE VALIKKO

Kanta-asiakkuus yrityksille!
Suosittelemme
Selkokirjat - Helpompia lukuhetkiä
Murdle - ratkaise mysteerit!
Mitä Suomi lukee?
Finlandia-palkinnot
Kirjallisuuden Nobel-palkinto
Botnia-kirjallisuuspalkinto
Tunteet tutuksi - vahvista lapsen tunnetaitoja
Englanninkieliset kirjat
Englanninkieliset kaunokirjat
Englanninkieliset tietokirjat
Englanninkieliset lasten- ja nuortenkirjat
Suosittelemme: englanninkieliset lastensarjakuvat
Booky Business
Uutuudet: Kevät 2025
Suomen ekonomien kirjallisuuspalkinto
Johtaminen ja HR
Juridiikka, lainsäädäntö, lakikokoelmat
Kasvatus- ja opetustyö
Liike-elämä ja yrittäjyys
Markkinointi ja viestintä
Sijoittaminen ja rahoitus
Sosiaali- ja terveysala
Taloushallinto ja verotus
Työhyvinvointi ja työelämätaidot
Oppikirjat
Suomi toisena kielenä S2
Esiopetus, ruotsinkielinen
Alakoulu, suomenkielinen
Alakoulu, ruotsinkielinen
Lukio-opetus, ruotsinkielinen
Ammatti- ja aikuiskoulutus
Valintakokeet
Omakauppa: hanki kirjasi käytettynä
Ryhmätilaukset
Suomi toisena kielenä
S2 Suosituimmat oppikirjat
S2 Esiopetus
S2 Alakoulu
S2 Yläkoulu
S2 Lukio
S2 Ammatti- ja aikuiskoulutus
Selkokirjat
Kirjalöytöjä edullisesti
Jännärit
Romantiikka ja viihde
Elämäkerrat
Ruoka ja kädentaidot
Hyvinvointi
Bisnes
Lasten- ja nuortenkirjat
Lasten- ja nuorten kirjasarjat
BOOKY OUTLET
Kaunokirjallisuus
Tietokirjat
Pokkarit
Lasten- ja nuortenkirjat
Hengelliset kirjat
Englanninkielinen kirjallisuus
Musiikki
Lahjakortti
Omakauppa: kierrätä kirjasi
Ryhmätilaukset
Suomenkielinen kaunokirjallisuus
Kotimainen kaunokirjallisuus
Käännetty kaunokirjallisuus
Runous
Sarjakuvat
Mietelauseet
Pokkarit
Dekkarit
Jännitys, trillerit ja kauhu
Romantiikka
Fantasia ja scifi
Historialliset romaanit
Sotakirjallisuus
Nykykirjallisuus ja muut kaunokirjat
Kaunokirjallisuus, muut kielet
Dekkarit & mysteerit
Kauhu
Trillerit
Jännitys
Romantiikka
Fantasia
Scifi
Historialliset
Sota ja armeija
Runot
Huumori
Kokoelmateokset
Sarjakuvat & graafiset romaanit
Suomenkieliset hyvinvoinnin kirjat
Elämäntaito
Ihmissuhteet
Kauneus ja terveys
Psykologia
Lapset, vauvat, raskaus
Liikunta
Hyvinvointi, muut kielet
Keho ja mieli
Perhe & ihmissuhteet
Terveys
Psykologia
Self-help
Suomenkieliset harrastekirjat
Keittokirjat
Sisustus
Käsityöt
Talo ja piha
Puutarha ja kasvit
Liikunta
Matkakirjat
Eläimet
Musiikki
Valokuvaus
Metsästys ja kalastus
Vapaa-aika & harrastukset, muut kielet
Keräilyesineet & antiikki
Taide
Käsityöt
Pelit
Puutarha
Talo & koti
Musiikki
Esittävät taiteet
Lemmikkieläimet
Valokuvaus
Urheilu & virkistys
Matkustaminen
Suomenkieliset tietokirjat
Elämäkerrat ja muistelmat
Yleistieto
Tietotekniikka
Ajoneuvot
Taide ja arkkitehtuuri
Käsityötaide
Historia
Yhteiskunta
Yritykset ja talous
Oikeustiede
Lääketiede
Tietokirjat, muut kielet
Arkkitehtuuri
Elämäkerrat
Tietokoneet
Ruoanlaitto
Historia
Luonto
Filosofia
Valtiotiede
Tiede
Sosiaalitieteet
Teknologia
Liikenne
True crime
Bisneskirjat
Laki
Lääketiede
Matematiikka
Lastenkirjat
Nuortenkirjat
Lasten ja nuorten kaunokirjat, muut kielet
Lasten ja nuorten tietokirjat, muut kielet
Kalenterit & muistikirjat
Seinäkalenterit
Tasku- ja pöytäkalenterit
Opetuksen ja varhaiskasvatuksen kalenterit
Kalenterien kannet ja vuosipaketit
Joulukalenterit
Muistikirjat ja päiväkirjat
Musiikki
Löytönurkka
Tilaa uutiskirje
Tietoa meistä

avaa valikko

Willem-Paul de Roever | Booky.fi

Haullasi löytyi yhteensä 17 tuotetta
Haluatko tarkentaa hakukriteerejä?



Data Refinement: Model-Oriented Proof Methods and their Comparison
Willem-Paul de Roever; Kai Engelhardt
Cambridge University Press
1998
Kovakantinen kirja
Saatavuus: Tilaustuote Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Data Refinement: Model-Oriented Proof Methods and their Comparison
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
136,50 €
Data Refinement: Model-Oriented Proof Methods and their Comparison
Willem-Paul de Roever; Kai Engelhardt
Cambridge University Press
2008
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Data Refinement: Model-Oriented Proof Methods and their Comparison
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
67,20 €
Programming Concepts and Methods PROCOMET ’98 - IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Metho
Gries, David; de Roever, Willem-Paul
Chapman and Hall
1998
Kovakantinen kirja
Saatavuus: Tilaustuote Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Programming Concepts and Methods PROCOMET ’98 - IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Metho
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
179,00 €
Formal Techniques in Real-Time and Fault-Tolerant Systems - Third International Symposium Organized Jointly with the Working Gro
Langmaack, Hans; Roever, Willem-Paul de; Vytopil, Jan
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1994
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Formal Techniques in Real-Time and Fault-Tolerant Systems - Third International Symposium Organized Jointly with the Working Gro
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
101,40 €
Formal Methods for Components and Objects - 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 20
de Boer, Frank S.; Bonsangue, Marcello M.; Graf, Susanne; de Roever, Willem-Paul
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2006
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Formal Methods for Components and Objects - 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
Programming Concepts and Methods PROCOMET ’98 - IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Metho
Gries, David; de Roever, Willem-Paul
Springer-Verlag New York Inc.
2013
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Programming Concepts and Methods PROCOMET ’98 - IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Metho
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
179,00 €
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency - School/Workshop, Noordwijkerhout, The Nethe
Bakker, Jacobus W. de; Roever, Willem-Paul de; Rozenberg, Grzegorz
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1989
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency - School/Workshop, Noordwijkerhout, The Nethe
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
101,40 €
Concurrency Verification: Introduction to Compositional and Non-compositional Methods
Willem-Paul de Roever; Frank de Boer; Ulrich Hanneman; Jozef Hooman; Yassine Lakhnech; Mannes Poel; Job Zwiers
Cambridge University Press
2012
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Concurrency Verification: Introduction to Compositional and Non-compositional Methods
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
92,70 €
Concurrency Verification: Introduction to Compositional and Non-compositional Methods
Willem-Paul de Roever; Frank de Boer; Ulrich Hanneman; Jozef Hooman; Yassine Lakhnech; Mannes Poel; Job Zwiers
Cambridge University Press
2001
Kovakantinen kirja
Saatavuus: Tilaustuote Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Concurrency Verification: Introduction to Compositional and Non-compositional Methods
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
244,80 €
Compositionality: The Significant Difference - International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Rev
Roever, Willem-Paul de; Langmaack, Hans; Pnueli, Amir
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1998
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Compositionality: The Significant Difference - International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Rev
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
101,40 €
Current Trends in Concurrency - Overviews and Tutorials
Bakker, Jacobus W. De; Roever, Willem-Paul De; Rozenberg, Grzegorz
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1986
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Current Trends in Concurrency - Overviews and Tutorials
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
101,40 €
Formal Methods for Components and Objects - 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006,
de Boer, Frank S.; Bonsangue, Marcello M.; Graf, Susanne; de Roever, Willem-Paul
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Formal Methods for Components and Objects - 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
Stepwise Refinement of Distributed Systems - Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June
Bakker, Jaco W. de; Roever, Willem-Paul de; Rozenberg, Grzegorz
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1990
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Stepwise Refinement of Distributed Systems - Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
101,40 €
Formal Methods for Components and Objects - Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 200
de Boer, Frank S.; Bonsangue, Marcello M.; Graf, Susanne; de Roever, Willem-Paul
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2005
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Formal Methods for Components and Objects - Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 200
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
Formal Methods for Components and Objects - First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 200
Boer, Frank S.de; Bonsangue, Marcello; Graf, Susanne; de Roever, Willem-Paul
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2003
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Formal Methods for Components and Objects - First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 200
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
Formal Methods for Components and Objects - Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 20
Boer, Frank S. de; Bonsangue, Marcello M.; Graf, Susanne; de Roever, Willem-Paul
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2004
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Formal Methods for Components and Objects - Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
Formal Methods for Components and Objects - 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2
Bonsangue, Marcello M.; Graf, Susanne; de Roever, Willem-Paul
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Formal Methods for Components and Objects - 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €

Näytä lisää...


Toimitusehdot

Asiakaspalvelu

YHTEYSTIEDOT

SEURAA MEITÄ
 Avainlippu

Booky.fi | Kotimainen kirjakauppasi netissä

Löydä seuraava lukuelämyksesi meiltä. Valikoimassamme ovat kaikki kotimaiset kirjat sekä noin 25 miljoonaa ulkomaista teosta.
Toimitamme tilaukset maailmanlaajuisesti!

Tietosuojaseloste

Evästeiden hallinta
Maksutavat
Yhteystiedot
Toimitusehdot
Asiakaspalvelu
Tietosuojaseloste
Maksutavat
Evästeiden hallinta
Ladataan sisältöä...