Jim Davies

Broschiertes Buch

Specification and Proof in Real Time CSP

Beschreibung

The research contained in this book represents work on the specification and verification of real-time systems using CSP.

Autor

Prof.JimDaviesisProfessorofSoftwareEngineeringandthedirectorofthe Software Engineering Programme in the Department of Computer Science, University of Oxford. He is a Fellow of Kellogg College. His research interests include the development of automatic generation of systems from re-usable models of structure and functionality, and he is the Principal Investigator on CancerGrid, a consortium to develop open standards for clinical cancer informatics.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 200
• Erscheinungstermin: 8. November 2011
• Englisch
• Abmessung: 244mm x 170mm x 11mm
• Gewicht: 355g
• ISBN-13: 9781107403864
• ISBN-10: 1107403863
• Artikelnr.: 34448555