Qadeer shaz editor (2 Ergebnisse)

Autor:

Mit der Detailsuche verfeinern

Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers (Lecture Notes in . / Programming and Software Engineering)
Qadeer, Shaz (Editor) / Tasiran, Serdar (Editor)
Sprache: Englisch
Verlag: Springer, 2013
3642356311 / 9783642356315
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in mit 5 Sternen
Verkäufer/-in kontaktieren
Zustand: Neu
EUR 79,11
EUR 11,65 Versand
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar
Paperback. Zustand: Brand New. 2013 edition. 333 pages. 9.00x6.00x0.75 inches. In Stock.
Computer Aided Verification: 23rd International Conference, Cav 2011, Snowbird, Ut, USA, July 14-20, 2011, Proceedings
Gopalakrishnan, Ganesh (Editor)/ Qadeer, Shaz (Editor)
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2011
3642221092 / 9783642221095
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in mit 5 Sternen
Verkäufer/-in kontaktieren
Zustand: Neu
EUR 86,09
EUR 17,47 Versand
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar
Paperback. Zustand: Brand New. 1st edition. 778 pages. 9.29x6.06x1.65 inches. In Stock.