Roscoe bill editor (2 Ergebnisse)

Autor:

Formal Methods: 18th Brazilian Symposium, Sbmf 2015, Belo Horizonte, Brazil, September 21-22, 2015, Revised Selected Papers
Cornelio, Marcio (Editor)/ Roscoe, Bill (Editor)
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2016
3319294725 / 9783319294728
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in mit 5 Sternen
Verkäufer/-in kontaktieren
Zustand: Neu
EUR 67,19
EUR 41,96 Versand
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar
Paperback. Zustand: Brand New. revised edition. 216 pages. 9.25x6.10x0.49 inches. In Stock.
Entdecken Sie mehr von Havelund, Klaus
Entdecken Sie ihre veröffentlichten Werke und Sammlerangebote.Havelund, Klaus entdecken
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)
Sprache: Englisch
Verlag: Springer, 2018
3319955810 / 9783319955810
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in mit 5 Sternen
Verkäufer/-in kontaktieren
Zustand: Neu
EUR 152,88
EUR 14,99 Versand
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar
Paperback. Zustand: Brand New. 800 pages. 9.25x6.10x1.69 inches. In Stock.

Formal Methods: 18th Brazilian Symposium, Sbmf 2015, Belo Horizonte, Brazil, September 21-22, 2015, Revised Selected Papers