TILAA UUTISKIRJE

KIRJAUDU

ostoskori

avaa valikko

Frank+S.+de+Boer | Booky.fi

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

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

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

51,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

51,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

51,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

51,40 €

Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 20

de Boer, Frank S.; Bonsangue, Marcello M.; Hallerstede, Stefan; Leuschel, Michael
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2011
Pehmeäkantinen kirja

51,40 €

Verification of Sequential and Concurrent Programs

Apt, Krzysztof R.; de Boer, Frank S.; Olderog, Ernst-Rüdiger
Springer London Ltd
2009
Kovakantinen kirja

101,40 €

Verification of Sequential and Concurrent Programs

Apt, Krzysztof R.; De Boer, Frank S.; Olderog, Ernst-R Diger
SPRINGER VERLAG GMBH
2009
Pehmeäkantinen kirja

64,10 €

Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 201

Aichernig, Bernhard K.; de Boer, Frank S.; Bonsangue, Marcello M.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2011
Pehmeäkantinen kirja

51,40 €

Theoretical Computer Science - 7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-

Baeten, Jos C.M.; Ball, Tom; de Boer, Frank S.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2012
Pehmeäkantinen kirja

51,40 €

Formal Methods for Components and Objects - 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Se

Beckert, Bernhard; Damiani, Ferruccio; de Boer, Frank S.; Bonsangue, Marcello M.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2013
Pehmeäkantinen kirja

51,40 €

Verification of Sequential and Concurrent Programs

Apt, Krzysztof R.; de Boer, Frank S.; Olderog, Ernst-Rüdiger
Springer London Ltd
2012
Pehmeäkantinen kirja

81,40 €

Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Re

Giachino, Elena; Hähnle, Reiner; de Boer, Frank S.; Bonsangue, Marcello M.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2013
Pehmeäkantinen kirja

47,40 €

Näytä lisää...

Toimitusehdot

Asiakaspalvelu

YHTEYSTIEDOT

SEURAA MEITÄ

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