Bill+Roscoe | Booky.fi

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

Modelling & Analysis of Security Protocols

Peter Ryan; Steve Schneider; Michael Goldsmith; Gavin Lowe; Bill Roscoe
2000
Pehmeäkantinen kirja

84,30 €

Millennial Perspectives in Computer Science - Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare

Davies, Jim; Roscoe, Bill; Woodcock, Jim
Bloomsbury Publishing PLC
2000
Kovakantinen kirja

100,50 €

Formal Methods: Foundations and Applications - 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 201

Cornélio, Márcio; Roscoe, Bill
Springer International Publishing AG
2016
Pehmeäkantinen kirja

41,40 €

Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, J

Havelund, Klaus; Peleska, Jan; Roscoe, Bill; de Vink, Erik
Springer International Publishing AG
2018
Pehmeäkantinen kirja

91,40 €

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