Autor: Steve Reeves

Captain Mike Rendell started out his workday like all the workdays before – just another normal day of flying.  After spending a raucous night partying with his crew, he and his first officer we …

…

This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented …