Roscoe bill editor (2 risultati)

Autore:

Perfeziona con la Ricerca avanzata

Formal Methods: 18th Brazilian Symposium, Sbmf 2015, Belo Horizonte, Brazil, September 21-22, 2015, Revised Selected Papers
Cornelio, Marcio (Editor)/ Roscoe, Bill (Editor)
Lingua: Inglese
Editore: Springer-Verlag New York Inc 2016
3319294725 / 9783319294728
- Brossura
Da: Revaluation Books, Exeter, , Regno UnitoRevaluation Books
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 64,12
EUR 28,98 spedizione
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Paperback. Condizione: 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)
Lingua: Inglese
Editore: Springer 2018
3319955810 / 9783319955810
- Brossura
Da: Revaluation Books, Exeter, , Regno UnitoRevaluation Books
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 145,90
EUR 14,49 spedizione
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Paperback. Condizione: Brand New. 800 pages. 9.25x6.10x1.69 inches. In Stock.