Menu

Miroslav Sveda

2 published titles

Joint Workshop on Formal Specification of Computer-Based Systems

(Contributor)

3 editions

  • ISBN: 1857691210
  • University of Stirling, Dept. of Computing Science and Mathematics
  • 2000
  • Details
  • ISBN: 185769144X
  • University of Stirling, Dept. of Computing Science and Mathematics
  • 2001
  • Details
  • ISBN: 1857691695
  • University of Stirling, Dept. of Computing Science and Mathematics
  • 2002
  • Details

5th Joint Workshop on Formal Specification of Computer-Based Systems : Brno, Czech Republic, May 27, 2004

(Contributor)

1 edition

  • ISBN: 1857691970
  • Department of Computing Science, University of Stirling
  • 2004
  • Details

obnb.uk is a Good Stuff website.