Wiklicky Herbert Editor (2 results)

Author:

Refine with Advanced Search

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.44
US$ 13.23 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.
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.23
US$ 13.23 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.