Wiklicky Herbert Editor (2 results)

Author:

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)
Language: English
Published by Springer, 2013
3642388736 / 9783642388736
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
5-star seller
Contact seller
Condition: New
US$ 81.42
US$ 13.35 shipping
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Paperback. Condition: Brand New. 2013 edition. 188 pages. 9.25x6.10x0.44 inches. In Stock.
Discover more from Alessandro Aldini
Explore their published works and collectible offers.Explore Alessandro Aldini
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)
Language: English
Published by Springer-Verlag New York Inc, 2010
364213677X / 9783642136771
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
5-star seller
Contact seller
Condition: New
US$ 89.19
US$ 13.35 shipping
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Paperback. Condition: Brand New. 176 pages. 9.00x6.00x0.25 inches. In Stock.

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)