The Application of Formal Methods
Broschiertes Buch

The Application of Formal Methods

Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

Herausgegeben: Foster, Simon; Sampaio, Augusto
Versandkostenfrei!
Versandfertig in 6-10 Tagen
50,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
25 °P sammeln!
This Festschrift, dedicated to Jim Woodcock, contains papers written by many of his closest collaborators.After a PhD on software verification at the University of Liverpool, Jim has combined a successful career in academia with outstanding industry research, in particular he has been a pioneer in applying mathematical modelling approaches in critical industries. At GEC's Hirst Research Centre he worked on a novel distributed telephone exchange and a service specification of a PABX exchange. In Oxford he collaborated with IBM Hursley Laboratories on modelling of the CICS transaction processing...