Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 59 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
|
|

avaa valikko

Willem-Paul de Roever | Booky.fi

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



Willem-Paul de Roever; Kai Engelhardt
Cambridge University Press
1998
Kovakantinen kirja
Saatavuus: 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
140,10 €
Willem-Paul de Roever; Kai Engelhardt
Cambridge University Press
2008
Pehmeäkantinen kirja
Saatavuus: 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 €
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 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,80 €
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 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
251,30 €
Roever, Willem-Paul de; Langmaack, Hans; Pnueli, Amir
Springer
1998
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Compositionality: The Significant Difference : International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €
Bakker, Jacobus W. De; Roever, Willem-Paul De; Rozenberg, Grzegorz
Springer
1986
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Current Trends in Concurrency : Overviews and Tutorials
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €
de Boer, Frank S.; Bonsangue, Marcello M.; Graf, Susanne; de Roever, Willem-Paul
Springer
2007
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Formal Methods for Components and Objects : 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Langmaack, Hans; Roever, Willem-Paul de; Vytopil, Jan
Springer
1994
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Formal Techniques in Real-Time and Fault-Tolerant Systems : Third International Symposium Organized Jointly with the
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €
Bakker, Jacobus W. de; Roever, Willem-Paul de; Rozenberg, Grzegorz
Springer
1989
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency : School/Workshop, Noordwijkerhout, The
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €
Bakker, Jaco W. de; Roever, Willem-Paul de; Rozenberg, Grzegorz
Springer
1990
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Stepwise Refinement of Distributed Systems : Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 -
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €
de Boer, Frank S.; Bonsangue, Marcello M.; Graf, Susanne; de Roever, Willem-Paul
Springer
2006
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Formal Methods for Components and Objects : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
de Boer, Frank S.; Bonsangue, Marcello M.; Graf, Susanne; de Roever, Willem-Paul
Springer
2005
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Formal Methods for Components and Objects : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Gries, David; de Roever, Willem-Paul
Springer
1998
Kovakantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Programming Concepts and Methods PROCOMET ’98 : IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
182,70 €
Boer, Frank S.de; Bonsangue, Marcello; Graf, Susanne; de Roever, Willem-Paul
Springer
2003
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Formal Methods for Components and Objects : First International Symposium, FMCO 2002, Leiden, The Netherlands, November
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Boer, Frank S. de; Bonsangue, Marcello M.; Graf, Susanne; de Roever, Willem-Paul
Springer
2004
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Formal Methods for Components and Objects : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Bonsangue, Marcello M.; Graf, Susanne; de Roever, Willem-Paul
Springer
2008
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Formal Methods for Components and Objects : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Gries, David; de Roever, Willem-Paul
Springer
2013
Pehmeäkantinen kirja
Saatavuus: 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
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
182,70 €

Näytä lisää...