Home Advanced Search

Advanced Search - Page 1

ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Cliff B. Jones (auth.), Helen Treharne, Steve King, Martin Henson, Steve Schneider (eds.)
Object Orientation with Parallelism and Persistence
  • PDF
  • English
  • Year: 1996
  • Author: Steve J. Hodges, Cliff B. Jones (auth.), Burkhard Freitag, Cliff B. Jones, Christian Lengauer, Hans-Jörg Schek (eds.)
Formal Aspects of Security: First International Conference, FASec 2002, London, UK, December 16-18, 2002. Revised Papers
  • PDF
  • English
  • Year: 2003
  • Author: Fred B. Schneider (auth.), Ali E. Abdallah, Peter Ryan, Steve Schneider (eds.)
Torture Porn: Popular Horror after Saw
  • PDF
  • English
  • Year: 2013
  • Author: Steve Jones (auth.)
Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective
  • PDF
  • English
  • Year: 2006
  • Author: Cliff B Jones, Brian Randell (auth.), Denis Besnard, Cristina Gacek, Cliff B. Jones (eds.)
Programming Languages and Systems — ESOP '96: 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings
  • PDF
  • English
  • Year: 1996
  • Author: Cliff B Jones (auth.), Hanne Riis Nielson (eds.)
Concurrent and real time systems: the CSP approach
  • DJVU
  • English
  • Year: 1999
  • Author: Schneider, Steve
The Vienna Development Method: The Meta-Language
  • DJVU
  • English
  • Year: 1978
  • Author: Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones (eds.)
Walking Through the Fire: My Fight for the Heart and Soul of America
  • EPUB
  • English
  • Year: 2022
  • Author: Steve King
Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday
  • PDF
  • English
  • Year: 2011
  • Author: Hermann Kopetz (auth.), Cliff B. Jones, John L. Lloyd (eds.)
search