Home Advanced Search

Advanced Search - Page 1

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
Software Engineering for Robotics
  • PDF
  • English
  • Year: 2021
  • Author: Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock
A Short History of Secularism
  • EPUB
  • English
  • Year: 2007
  • Author: Graeme Smith
Get Set for Nursing
  • PDF
  • English
  • Year: 2022
  • Author: Graeme Smith
A Short History of Secularism
  • PDF
  • English
  • Year: 2007
  • Author: Graeme Smith
The Object-Z Specification Language
  • PDF
  • English
  • Year: 1999
  • Author: Graeme Smith
Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Jean-Raymond Abrial (auth.), Einar Broch Johnsen, Luigia Petre (eds.)
A Short History of Secularism
  • PDF
  • English
  • Year: 2010
  • Author: Graeme Smith (editor)
The Object-Z Specification Language
  • DJVU
  • English
  • Year: 2000
  • Author: Graeme Smith (auth.)
The Object-Z Specification Language
  • PDF
  • English
  • Year: 2000
  • Author: Graeme Smith (auth.)
search