Roscoe Bill Editor (2 results)

Author:

Refine with Advanced Search

Formal Methods: 18th Brazilian Symposium, Sbmf 2015, Belo Horizonte, Brazil, September 21-22, 2015, Revised Selected Papers
Cornelio, Marcio (Editor)/ Roscoe, Bill (Editor)
Language: English
Published by Springer-Verlag New York Inc, 2016
3319294725 / 9783319294728
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
5-star seller
Contact seller
Condition: New
£ 53.85
£ 25.00 shipping
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Paperback. Condition: Brand New. revised edition. 216 pages. 9.25x6.10x0.49 inches. In Stock.
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings (Lecture Notes in Computer Science)
Havelund, Klaus (Editor) / Peleska, Jan (Editor) / Roscoe, Bill (Editor) / de Vink, Erik (Editor)
Language: English
Published by Springer, 2018
3319955810 / 9783319955810
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
5-star seller
Contact seller
Condition: New
£ 122.50
£ 12.50 shipping
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Paperback. Condition: Brand New. 800 pages. 9.25x6.10x1.69 inches. In Stock.