1 Ebooki wg Peter Ölveczky
Cyrille Artho & Peter Ölveczky: Formal Techniques for Safety-Critical Systems
This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised f …
PDF
Angielski
€59.49
