Back to Search
Start Over
Formal methods and computer algebra : a LARCH specification of axiom categories and functors
- Publication Year :
- 2000
- Publisher :
- University of St Andrews, 2000.
- Subjects :
- QA155.7E4K4
Subjects
Details
- Language :
- English
- Database :
- British Library EThOS
- Publication Type :
- Dissertation/ Thesis
- Accession number :
- edsble.827456
- Document Type :
- Electronic Thesis or Dissertation