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.)
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
Testing Techniques in Software Engineering: Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
  • PDF
  • English
  • Year: 2010
  • Author: Patrícia Machado, Auri Vincenzi (auth.), Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook (eds.)
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
search