Home Advanced Search

Advanced Search - Page 1

Software Engineering for Robotics
  • PDF
  • English
  • Year: 2021
  • Author: Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock
Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Ian J. Hayes (auth.), Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock (eds.)
Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Brijesh Dongol, Luigia Petre, Graeme Smith
Coding projects in Scratch
  • PDF
  • English
  • Year: 2019
  • Author: Woodcock, Jon
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
Star Wars Coding Projects: A Step-by-Step Visual Guide to Coding Your Own Animations, Games, Simulations, and More!
  • AZW3
  • English
  • Year: 2017
  • Author: Jon Woodcock, Jon Hall (illustrator)
Cool Stuff 2.0: And How it Works
  • PDF
  • English
  • Year: 2007
  • Author: Jon Woodcock, Chris Woodford
Software engineering mathematics
  • PDF
  • English
  • Year: 1989
  • Author: Woodcock, Jim; Loomes, Martin
In Silico Immunology
  • PDF
  • English
  • Year: 2007
  • Author: Darren Flower, Jon Timmis (eds.)
search