Wiklicky herbert editor (2 Ergebnisse)

Autor:

Mit der Detailsuche verfeinern

Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM . / Programming and Software Engineering)
Bernardo, Marco (Editor) / de Vink, Erik (Editor) / Di Pierro, Alessandra (Editor) / Wiklicky, Herbert (Editor)
Sprache: Englisch
Verlag: Springer, 2013
3642388736 / 9783642388736
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in mit 5 Sternen
Verkäufer/-in kontaktieren
Zustand: Neu
EUR 73,78
EUR 11,97 Versand
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar
Paperback. Zustand: Brand New. 2013 edition. 188 pages. 9.25x6.10x0.44 inches. In Stock.
Entdecken Sie mehr von Alessandro Aldini
Entdecken Sie ihre veröffentlichten Werke und Sammlerangebote.Alessandro Aldini entdecken
Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, Sfm 2010 Bertinoro, Italy, June 21-26, 201
Aldini, Alessandro (Editor)
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2010
364213677X / 9783642136771
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in mit 5 Sternen
Verkäufer/-in kontaktieren
Zustand: Neu
EUR 80,85
EUR 11,97 Versand
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar
Paperback. Zustand: Brand New. 176 pages. 9.00x6.00x0.25 inches. In Stock.

Wiklicky herbert editor (2 Ergebnisse)

Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM . / Programming and Software Engineering)

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, Sfm 2010 Bertinoro, Italy, June 21-26, 201