Home Advanced Search

Advanced Search - Page 1

Using Z: Specification, Refinement, and Proof
  • PDF
  • English
  • Year: 1996
  • Author: Jim Woodcock, Jim Davies
Riveted--The Science of Why Jokes Make Us Laugh, Movies Make Us Cry, and Religion Makes Us Feel One with the Universe
  • EPUB
  • English
  • Year: 2014
  • Author: Davies, Jim
Riveted: The Science of Why Jokes Make Us Laugh, Movies Make Us Cry, and Religion Makes Us Feel One with the Universe
  • AZW3
  • English
  • Year: 2014
  • Author: Davies, Jim
Imagination
  • EPUB
  • English
  • Year: 2019
  • Author: Jim Davies
Software engineering mathematics
  • PDF
  • English
  • Year: 1989
  • Author: Woodcock, Jim; Loomes, Martin
Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC
  • PDF
  • English
  • Year: 2013
  • Author: Zhiming Liu, Jim Woodcock, Huibiao Zhu
F-105 Thunderchief Units of the Vietnam War (Combat Aircraft)
  • PDF
  • English
  • Year: 2010
  • Author: Peter Davies, Jim Laurier
Using Z
  • PDF
  • English
  • Year: 1999
  • Author: Woodcock, Davies.
USAF F-4 Phantom II MiG Killers 1972–73
  • PDF
  • English
  • Year: 2005.05.08
  • Author: Peter E. Davies, Jim Laurier
Life Support: Diary of an ICU Doctor on the Frontline of the Covid Crisis
  • EPUB
  • English
  • Year: 2021
  • Author: Jim Down
search