Home Advanced Search

Advanced Search - Page 1

Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: J. -R. Abrial (auth.), Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie (eds.)
Rigorous Development of Complex Fault-Tolerant Systems
  • PDF
  • English
  • Year: 2006
  • Author: Jean-Raymond Abrial (auth.), Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)
Rigorous Development of Complex Fault-Tolerant Systems
  • PDF
  • English
  • Year: 2006
  • Author: Jean-Raymond Abrial (auth.), Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)
Industrial-strength formal methods in practice
  • DJVU
  • English
  • Year: 1999
  • Author: Jonathan P. Bowen, Michael G. Hinchey (auth.), Michael G. Hinchey BSc, MSc, PhD, Jonathan P. Bowen BA, MA (eds.)
Industrial-Strength Formal Methods in Practice
  • PDF
  • English
  • Year: 1999
  • Author: Jonathan P. Bowen, Michael G. Hinchey (auth.), Michael G. Hinchey BSc, MSc, PhD, Jonathan P. Bowen BA, MA (eds.)
Understanding Formal Methods
  • PDF
  • English
  • Year: 2003
  • Author: Jean-François Monin PhD, Michael G. Hinchey PhD, MSc, BSc (auth.), Jean-François Monin PhD, Michael G. Hinchey PhD, MSc, BSc (eds.)
ZUM '97: The Z Formal Specification Notation: 10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Constance Heitmeyer (auth.), Jonathan P. Bowen, Michael G. Hinchey, David Till (eds.)
Hybrid Metaheuristics: 8th International Workshop, HM 2013, Ischia, Italy, May 23-25, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Thiago M. Gomes, Haroldo G. Santos, Marcone J. F. Souza (auth.), María J. Blesa, Christian Blum, Paola Festa, Andrea Roli, Michael Sampels (eds.)
Pharmacological Aspects of Drug Dependence: Toward an Integrated Neurobehavioral Approach
  • PDF
  • English
  • Year: 1996
  • Author: R. W. Pickens, G. I. Elmer, M. C. LaBuda, G. R. Uhl (auth.), Charles R. Schuster Ph.D., Michael J. Kuhar Ph.D. (eds.)
Measuring Colour, Fourth Edition
  • PDF
  • English
  • Year: 2011
  • Author: R. W. G. Hunt, M. R. Pointer(auth.), Michael A. Kriss(eds.)
search