KIRJAUDU

ostoskori

avaa valikko

Peter Csaba Ölveczky | Akateeminen Kirjakauppa

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

66,60 €

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

66,60 €

Designing Reliable Distributed Systems - A Formal Methods Approach Based on Executable Modeling in Maude

Olveczky, Peter Csaba
Springer London Ltd
2018
Pehmeäkantinen kirja

92,60 €

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

66,60 €

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

66,60 €

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

66,60 €

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

66,60 €

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

66,60 €

Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised

Braga, Christiano; Ölveczky, Peter Csaba
Springer International Publishing AG
2016
Pehmeäkantinen kirja

66,60 €

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

66,60 €

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

66,60 €

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

66,60 €

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

99,10 €

Näytä lisää...

Sisäänkirjautuminen

Kirjaudu sisään
Rekisteröityminen

Oma tili

Omat tiedot
Omat tilaukset
Omat laskut

Meistä

Yhteystiedot ja aukioloajat
Usein kysytyt
Akateemisen Ystäväklubi
Toimitusehdot
Maksutavat
Tietosuojaseloste
Evästeiden hallinta

Seuraa Akateemista

Instagram
Facebook
Threads
TikTok
YouTube
LinkedIn

Sisäänkirjautuminen

Kirjaudu sisään Rekisteröityminen

Oma tili

Omat tiedot Omat tilaukset Omat laskut

Meistä

Yhteystiedot ja aukioloajat Usein kysytyt Akateemisen Ystäväklubi Toimitusehdot Tietosuojaseloste Maksutavat Evästeiden hallinta

Seuraa Akateemista

Instagram Facebook Threads TikTok YouTube LinkedIn