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

avaa valikko

Peter Csaba Ölveczky | Booky.fi

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



Formal Techniques for Safety-Critical Systems - 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revis
Artho, Cyrille; Ölveczky, Peter Csaba
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Tilaustuote(avautuu ponnahdusikkunassa)
Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | 🎄 Tämä tuote ehtii jouluksi, kun teet tilauksen viimeistään 30.11.2025
Formal Techniques for Safety-Critical Systems - 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revis
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, C
Ölveczky, Peter Csaba
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Tilaustuote(avautuu ponnahdusikkunassa)
Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | 🎄 Tämä tuote ehtii jouluksi, kun teet tilauksen viimeistään 30.11.2025
Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, C
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
Designing Reliable Distributed Systems - A Formal Methods Approach Based on Executable Modeling in Maude
Olveczky, Peter Csaba
Springer London Ltd
2018
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Tilaustuote(avautuu ponnahdusikkunassa)
Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | 🎄 Tämä tuote ehtii jouluksi, kun teet tilauksen viimeistään 30.11.2025
Designing Reliable Distributed Systems - A Formal Methods Approach Based on Executable Modeling in Maude
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
71,40 €
Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceed
Ölveczky, Peter Csaba; Salaün, Gwen
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Tilaustuote(avautuu ponnahdusikkunassa)
Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | 🎄 Tämä tuote ehtii jouluksi, kun teet tilauksen viimeistään 30.11.2025
Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceed
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Sele
Arbab, Farhad; Ölveczky, Peter Csaba
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2012
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Tilaustuote(avautuu ponnahdusikkunassa)
Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | 🎄 Tämä tuote ehtii jouluksi, kun teet tilauksen viimeistään 30.11.2025
Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Sele
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
Formal Techniques for Safety-Critical Systems - Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--
Artho, Cyrille; Ölveczky, Peter Csaba
Springer International Publishing AG
2014
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Tilaustuote(avautuu ponnahdusikkunassa)
Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | 🎄 Tämä tuote ehtii jouluksi, kun teet tilauksen viimeistään 30.11.2025
Formal Techniques for Safety-Critical Systems - Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
Formal Techniques for Safety-Critical Systems - Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revise
Artho, Cyrille; Ölveczky, Peter Csaba
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Tilaustuote(avautuu ponnahdusikkunassa)
Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | 🎄 Tämä tuote ehtii jouluksi, kun teet tilauksen viimeistään 30.11.2025
Formal Techniques for Safety-Critical Systems - Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revise
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
Logic, Rewriting, and Concurrency - Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
Martí-Oliet, Narciso; Ölveczky, Peter Csaba; Talcott, Carolyn
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Tilaustuote(avautuu ponnahdusikkunassa)
Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | 🎄 Tämä tuote ehtii jouluksi, kun teet tilauksen viimeistään 30.11.2025
Logic, Rewriting, and Concurrency - Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised S
Braga, Christiano; Ölveczky, Peter Csaba
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Tilaustuote(avautuu ponnahdusikkunassa)
Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | 🎄 Tämä tuote ehtii jouluksi, kun teet tilauksen viimeistään 30.11.2025
Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised S
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
Formal Techniques for Safety-Critical Systems - 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised
Artho, Cyrille; Ölveczky, Peter Csaba
Springer International Publishing AG
2017
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Tilaustuote(avautuu ponnahdusikkunassa)
Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | 🎄 Tämä tuote ehtii jouluksi, kun teet tilauksen viimeistään 30.11.2025
Formal Techniques for Safety-Critical Systems - 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proce
Bae, Kyungmin; Ölveczky, Peter Csaba
Springer Nature Switzerland AG
2018
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Tilaustuote(avautuu ponnahdusikkunassa)
Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | 🎄 Tämä tuote ehtii jouluksi, kun teet tilauksen viimeistään 30.11.2025
Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proce
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
Formal Techniques for Safety-Critical Systems - 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018
Artho, Cyrille; Ölveczky, Peter Csaba
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Tilaustuote(avautuu ponnahdusikkunassa)
Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | 🎄 Tämä tuote ehtii jouluksi, kun teet tilauksen viimeistään 30.11.2025
Formal Techniques for Safety-Critical Systems - 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
Theoretical Aspects of Computing – ICTAC 2021 - 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September
Cerone, Antonio; Ölveczky, Peter Csaba
Springer Nature Switzerland AG
2021
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Tilaustuote(avautuu ponnahdusikkunassa)
Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa. | 🎄 Tämä tuote ehtii jouluksi, kun teet tilauksen viimeistään 27.11.2025
Theoretical Aspects of Computing – ICTAC 2021 - 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
76,40 €

Näytä lisää...