Bill Roscoe – författare

Visar alla böcker från författaren Bill Roscoe.

2 produkter

1. 

   Formal Methods: Foundations and Applications

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

   Av Márcio Cornélio, Bill Roscoe

   Häftad, 2016

   589 kr

   Lägg i varukorg

2. 

   Formal Methods

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

   Av Klaus Havelund, Jan Peleska m. fl.

   Häftad, 2018

   1309 kr

   Lägg i varukorg