• Media type: Book
  • Title: Algorithms for incremental synthesis
  • Contributor: Brand, Daniel [Other]
  • imprint: Almaden [u.a.]: IBM, 1996
  • Published in: Thomas J. Watson Research Center: Research report / RC ; 20352
  • Extent: 33 S.; graph. Darst
  • Language: English
  • RVK notation: SS 5104 : Research Report (IBM): RC
  • Origination:
  • Footnote:

copies

(0)
  • Shelf-mark: 95 4 92767 001
  • Item ID: 10091091
  • Status: Loanable, place order
Delivery expected: 1 - 2 days after order