Formal Techniques for Safety-Critical Systems
Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
Автор:
Cyrille Artho, Peter Csaba Ölveczky
Наличност:
Външен склад
Изпращаме след 5-8 дни
52.62
€
102.92 лв
This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, hel...
