The Application of Formal Methods (eBook, PDF)
eBook, PDF

The Application of Formal Methods (eBook, PDF)

Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

Redaktion: Foster, Simon; Sampaio, Augusto
Versandkostenfrei!
Sofort per Download lieferbar
89,95 €
inkl. MwSt.
Alle Infos zum eBook verschenken
Weitere Ausgaben:
PAYBACK Punkte
45 °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...

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.