Peleska jan editor (1 Ergebnisse)
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)
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 145,40
EUR 14,54 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 800 pages. 9.25x6.10x1.69 inches. In Stock.
