Jansen David N Editor (2 results)

Author:

Refine with Advanced Search

Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 46, 2018, Proceedings (Lecture Notes in Computer Science)
Jansen, David N. (Editor) / Prabhakar, Pavithra (Editor)
Language: English
Published by Springer, 2018
3030001504 / 9783030001506
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
5-star seller
Contact seller
Condition: New
US$ 91.34
US$ 13.45 shipping
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Paperback. Condition: Brand New. 350 pages. 9.25x6.10x0.68 inches. In Stock.
Quantitative Evaluation of Systems: 17th International Conference, Qest 2020, Vienna, Austria, August 31 September 3, 2020, Proceedings
Gribaudo, Marco (Editor)/ Jansen, David N. (Editor)/ Remke, Anne (Editor)
Language: English
Published by Springer-Nature New York Inc, 2020
3030598535 / 9783030598532
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
5-star seller
Contact seller
Condition: New
US$ 91.61
US$ 13.45 shipping
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Paperback. Condition: Brand New. 298 pages. 9.25x6.10x0.66 inches. In Stock.