Formal methods in system design.
Saved in:
| Online Access: |
Request a PDF (UCB only) |
|---|---|
| Format: | Journal |
| Language: | English |
| Published: |
Boston, [Mass.], U.S.A. :
Kluwer Academic Publishers,
©1992-
|
| Subjects: |
Internet
Request a PDF (UCB only)PASCAL Offsite
| Call Number: |
QA76.9.S88 F67
|
|---|---|
| Volume Holdings: |
v.1 (1992) - v.23 (2003) |
| v.1 1992 | Available Place a Hold |
| v.2-3 1992/93 | Available Place a Hold |
| v.4-5 1994 | Available Place a Hold |
| v.6-7 1995 | Available Place a Hold |
| v.8-9 1996 | Available Place a Hold |
| v.10-11 1997 | Available Place a Hold |
| v.12-13 1998 | Available Place a Hold |
| v.14-15 1999 | Available Place a Hold |
| v.16-17 2000 | Available Place a Hold |
| v.18-19 2001 | Available Place a Hold |
| v.20-21 2002 | Available Place a Hold |
| v.22-23 2003 | Available Place a Hold |