The Practice of Formal Methods
Broschiertes Buch

The Practice of Formal Methods

Essays in Honour of Cliff Jones, Part I

Herausgegeben: Cavalcanti, Ana; Baxter, James
Versandkostenfrei!
Versandfertig in 6-10 Tagen
50,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
25 °P sammeln!
This Festschrift, dedicated to Cliff Jones, contains papers written by many of his closest collaborators. Cliff has an exceptional international standing for his groundbreaking research and leadership within the practice of formal methods, his career encompasses significant contributions to academia, industry, policy, and service.Cliff is a Fellow of the Royal Academy of Engineering, ACM, BCS, and IET, and in 2015 he was the inaugural Fellow of the Formal Methods Europe association. His career has included industry research in the UK, Austria and Belgium, a PhD at the University of Oxford, and...