Formal descriptions of developing systems /
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Dordrecht ; Boston :
Kluwer Academic Publishers,
2003.
|
| Series: | NATO science series. Mathematics, physics, and chemistry ;
v. 121 |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Item Description: | Proceedings of the NATO Advanced Research Workshop on Formal Descriptions of Developing Systems, Manoa, Hawaii, U.S.A., 2-6 October 2002. |
|---|---|
| Physical Description: | 306 p. : ill. ; 25 cm. |
| ISBN: | 1402015674 (alk. paper) |