Home Advanced Search

Advanced Search - Page 1

Using Z: Specification, Refinement, and Proof
  • PDF
  • English
  • Year: 1996
  • Author: Jim Woodcock, Jim Davies
Using Z.Specification,refinement,and proof
  • PDF
  • English
  • Year: 1996
  • Author: Jim Woodcock, Jim Davies
FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I
  • PDF
  • English
  • Year: 1999
  • Author: C. A. R. Hoare (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)
FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I
  • PDF
  • English
  • Year: 1999
  • Author: C. A. R. Hoare (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)
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
Specification and proof in real-time CSP
  • PDF
  • English
  • Year: 1993
  • Author: Jim Davies
Software engineering mathematics
  • PDF
  • English
  • Year: 1989
  • Author: Woodcock, Jim; Loomes, Martin
FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II
  • PDF
  • English
  • Year: 1999
  • Author: Pascal Poizat, Christine Choppy, Jean-Claude Royer (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)
search