> Details

Brinksma, Ed [Editor] ; TACAS 3 1997 Enschede

Tools and algorithms for the construction and analysis of systems

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: Book; Conference Proceedings
  • Title: Tools and algorithms for the construction and analysis of systems : third International Workshop, TACAS '97, Enschede, The Netherlands, April 2 - 4, 1997; proceedings
  • Contains: Literaturangaben
  • Contributor: Brinksma, Ed [Hrsg.]
  • Event: TACAS
  • imprint: Berlin; Heidelberg [u.a.]: Springer, 1997
  • Published in: Lecture notes in computer science ; 1217
  • Extent: X, 431 S.; graph. Darst
  • Language: English
  • ISBN: 3540627901
  • RVK notation: SS 4800 : Lecture notes in computer science
  • Keywords: Verteiltes System > Systemtheorie
  • Origination:
  • Footnote:

copies

(0)

Departmental Library DrePunct – stack

  • Shelf-mark: R2016 8 4141
  • Item ID: 10014605
  • Status: Loanable, place order
Delivery expected: 1 - 2 days after order