Formal Techniques for Safety-Critical Systems: Second International Workshop, Ftscs 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selec
cena:193.19 zł |
Formal Techniques for Safety-Critical Systems: 4th International Workshop, Ftscs 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
cena:193.19 zł |
Formal Techniques for Safety-Critical Systems: 5th International Workshop, Ftscs 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
cena:193.19 zł |