Home Advanced Search

Advanced Search - Page 1

Model-Based Software Testing and Analysis with C#
  • PDF
  • English
  • Year: 2007
  • Author: Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte
The Way of Z: Practical Programming with Formal Methods
  • DJVU
  • English
  • Year: 1996
  • Author: Jonathan Jacky
Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Bernhard K. Aichernig, Elisabeth Jöbstl, Matthias Kegele (auth.), Margus Veanes, Luca Viganò (eds.)
Multi-field modeling and simulation of fiber-reinforced polymers
  • PDF
  • English
  • Year: 2021
  • Author: Jonathan Schulte
Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Thomas Ball, Nikolaj Bjørner, Leonardo de Moura, Kenneth L. McMillan, Margus Veanes (auth.), Alastair Donaldson, David Parker (eds.)
The Low-Carb Fraud
  • EPUB
  • English
  • Year: 2014
  • Author: Colin Campbell
The Romantic Ethic and the Spirit of Modern Consumerism
  • PDF
  • English
  • Year: 2018
  • Author: Colin Campbell
The Ironing Man
  • PDF
  • English
  • Author: Campbell Colin.
Ci pensa George: la felicità spiegata da un cane
  • EPUB
  • Italian
  • Year: 2018
  • Author: Campbell, Colin
A ética romântica e o espírito do consumismo moderno
  • PDF
  • Portuguese
  • Year: 2001
  • Author: Colin Campbell
search