Hoppa till sidans huvudinnehåll

Bill Roscoe – författare

Visar alla böcker från författaren Bill Roscoe.
2 produkter
Del 9526 - Lecture Notes in Computer Science

Formal Methods: Foundations and Applications

18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

AvMárcio Cornélio,Bill Roscoe

Häftad, Engelska, 2016

589 kr

Skickas inom 10-15 vardagar

Formal Methods

22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

AvKlaus Havelund,Jan Peleskam. fl.

Häftad, Engelska, 2018

1 299 kr

Skickas inom 10-15 vardagar