|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings 2016 Edition (Lecture Notes in Computer Science) | Ribeiro, Leila | Paperback | 3319498142 /
9783319498140 | 11/2016 | $52.24 |
|  | Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, Rssrail 20 2016 Edition (Lecture Notes in Computer Science) | Lecomte, Thierry | Paperback | 3319339508 /
9783319339504 | 06/2016 | $52.24 |
|  | Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Second International Conference, Rssrail 2 2017 Edition | Fantechi, Alessandro | Paperback | 3319684981 /
9783319684987 | 10/2017 | $52.24 |
|  | Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Third International Conference, Rssrail 20 2019 Edition | Collart-Dutilleul, Simon | Paperback | 3030187438 /
9783030187439 | 04/2019 | $61.74 |
|
|
|