Home Advanced Search

Advanced Search - Page 1

Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves
Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Daniel Jackson, Eunsuk Kang (auth.), Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves (eds.)
Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Egon Börger, Antonio Cisternino, Vincenzo Gervasi (auth.), John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene (eds.)
Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Egon Börger, Antonio Cisternino, Vincenzo Gervasi (auth.), John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene (eds.)
A distributed implementation of Flat Concurrent Prolog on message-passing microprocessor systems
  • DJVU
  • English
  • Year: 1993
  • Author: Glässer, Uwe
Software Specification Methods : an Overview Using a Case Study
  • PDF
  • English
  • Year: 2006
  • Author: Henri Habrias; Marc Frappier
Social Network Analysis in Predictive Policing: Concepts, Models and Methods
  • PDF
  • English
  • Year: 2016
  • Author: Mohammad A. Tayebi, Uwe Glässer (auth.)
Runtime Verification: Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Howard Barringer, Klaus Havelund (auth.), Sarfraz Khurshid, Koushik Sen (eds.)
A Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems
  • PDF
  • German
  • Year: 1993
  • Author: Dr. rer. nat. Uwe Glässer (auth.)
Para acabar con la Edad Media
  • PDF
  • Spanish
  • Year: 2010
  • Author: Régine Pernoud; Steve Serra
search