Pinger Ralf Editor (2 results)

Author:

Refine with Advanced Search

Formal Methods for Industrial Critical Systems: 17th International Workshop, Fmics 2012, Paris, France, August 27-28, 2012, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
Stoelinga, Mariëlle (Editor) / Pinger, Ralf (Editor)
Language: English
Published by Springer, 2012
3642324681 / 9783642324680
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
5-star seller
Contact seller
Condition: New
£ 59.76
£ 10.00 shipping
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Paperback. Condition: Brand New. 2012 edition. 237 pages. 9.20x6.10x0.70 inches. In Stock.
Reliability, Safety, and Security of Railway Systems: Modelling, Analysis, Verification, and Certification; First International Conference, Rssrail 2016, Paris, France, June 28-30, 2016, Proceedings
Lecomte, Thierry (Editor)/ Pinger, Ralf (Editor)/ Romanovsky, Alexander (Editor)
Language: English
Published by Springer-Verlag New York Inc, 2016
3319339508 / 9783319339504
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
5-star seller
Contact seller
Condition: New
£ 65.80
£ 30.00 shipping
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Paperback. Condition: Brand New. 268 pages. 9.25x6.10x0.61 inches. In Stock.