Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 59 €!
*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.
Artho, Cyrille; Ölveczky, Peter Csaba
Springer
2016
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Formal Techniques for Safety-Critical Systems : 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015.
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
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 Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
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,10 €
Designing Reliable Distributed Systems : A Formal Methods Approach Based on Executable Modeling in Maude
Ölveczky, Peter Csaba
Springer
2018
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Designing Reliable Distributed Systems : A Formal Methods Approach Based on Executable Modeling in Maude
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
71,10 €
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 Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
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,10 €
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 Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
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,10 €
Formal Techniques for Safety-Critical Systems : Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October
Artho, Cyrille; Ölveczky, Peter Csaba
Springer
2014
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Formal Techniques for Safety-Critical Systems : Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Formal Techniques for Safety-Critical Systems : Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014.
Artho, Cyrille; Ölveczky, Peter Csaba
Springer
2015
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Formal Techniques for Safety-Critical Systems : Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014.
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
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
2015
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Logic, Rewriting, and Concurrency : Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
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 Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
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,10 €
Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016,
Artho, Cyrille; Ölveczky, Peter Csaba
Springer
2017
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
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 Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
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,10 €
Formal Techniques for Safety-Critical Systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16,
Artho, Cyrille; Ölveczky, Peter Csaba
Springer
2019
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Formal Techniques for Safety-Critical Systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
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 Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Theoretical Aspects of Computing – ICTAC 2021 - 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
76,00 €

Näytä lisää...