Computer Science

New books from university presses

(1) Building High Integrity Applications with SPARK
John W. McCormick; Peter C. Chapin
ISBN: 9781107656840

Cambridge University Press
View at publisher

(2) From Big Data to Big Profits: Success with Data and Analytics
Russell Walker
ISBN: 9780199378326

Oxford University Press
View at publisher

(3) The Oxford Handbook of Virtuality
Mark Grimshaw
ISBN: 9780190270353

Oxford University Press
View at publisher

(4) Language at Work: Analyzing Communication Breakdown in the Workplace to Inform Systems Design
Devlin, Keith
ISBN: 9781575860503

University of Chicago Press
View at publisher

(5) Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications
Clavel, Manuel
ISBN:

University of Chicago Press
View at publisher