Available online
| Item code: | PM687; VCR1 |
|---|---|
| Original broadcast channel: | ntx |
| Rights Statement: | |
| Restrictions on use: | |
| Duration: | 01:00:00 |
| + Show more... | |
| Producer: | Andrew Barker |
| Contributors: | Peter Gibbins; Darrel Ince |
| Publisher: | BBC Open University |
| Keyword(s): | Formal methods; Lending library; Reification; Specification; Vienna development method; Warehouse stocksystem |
| Master spool number: | HOU6006 |
| Production number: | FOUM290X |
| Videofinder number: | 1158 |
| Available to public: | no |
