Bill Roscoe – författare
Visar alla böcker från författaren Bill Roscoe. Handla med fri frakt och snabb leverans.
2 produkter
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
Häftad, Engelska, 2016
579 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
Häftad, Engelska, 2018
1 289 kr
Skickas inom 10-15 vardagar