Proceedings / International Conference on Formal Engineering Methods.
Saved in:
| Online Access: |
Request a PDF (UCB only) |
|---|---|
| New Title: | Formal methods and software engineering. |
| Corporate Authors: | , , |
| Other title: | International Conference on Formal Engineering Methods. IEEE International Conference on Formal Engineering Methods. Formal engineering methods. ICFEM. |
| Format: | Conference Proceeding |
| Language: | English |
| Published: |
Los Alamitos, Calif. :
IEEE Computer Society,
©1997-
|
| Subjects: |
MARC
| LEADER | 00000cas a2200000Ia 4500 | ||
|---|---|---|---|
| 001 | b3064096 | ||
| 003 | CoU | ||
| 008 | 980113d19971999cauar 1 0eng d | ||
| 005 | 20240124150038.4 | ||
| 035 | |a (OCoLC)ocm38191226 | ||
| 040 | |a VPI |c VPI |d UIU | ||
| 090 | |a TA5 |b .I573 | ||
| 111 | 2 | |a IEEE International Conference on Formal Engineering Methods. |0 http://id.loc.gov/authorities/names/no98044101. | |
| 222 | 0 | |a Proceedings - International Conference on Formal Engineering Methods. | |
| 222 | 0 | |a International Conference on Formal Engineering Methods. | |
| 222 | 0 | |a IEEE International Conference on Formal Engineering Methods. | |
| 222 | 0 | |a Formal engineering methods. | |
| 222 | 0 | |a ICFEM. | |
| 245 | 1 | 0 | |a Proceedings / |c International Conference on Formal Engineering Methods. |
| 246 | 1 | 3 | |a International Conference on Formal Engineering Methods. |
| 246 | 1 | 3 | |a IEEE International Conference on Formal Engineering Methods. |
| 246 | 1 | 8 | |a Formal engineering methods. |
| 246 | 1 | 5 | |a ICFEM. |
| 260 | |a Los Alamitos, Calif. : |b IEEE Computer Society, |c ©1997- | ||
| 300 | |a volumes : |b illustrations ; |c 28 cm. | ||
| 310 | |a Annual. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a unmediated |b n |2 rdamedia. | ||
| 338 | |a volume |b nc |2 rdacarrier. | ||
| 362 | 0 | |a 1st (Nov. 12-14, 1997)- | |
| 362 | 1 | |a Ceased with 3rd, held in 1999. | |
| 583 | 1 | |3 items in PASCAL |a committed to retain |c 20180101 |d 20430101 |5 CoU |f Alliance Shared Trust |u https://www.coalliance.org/shared-print-archiving-policies. | |
| 550 | |a Sponsored by: IEEE Computer Society, IEEE Computer Society Technical Committee on Complexity in Computing, in cooperation with other similar bodies. | ||
| 580 | |a Continued by: Formal methods and software engineering, which are cataloged as individual monographs. | ||
| 650 | 0 | |a Engineering |x Methodology |v Congresses. | |
| 650 | 0 | |a Engineering |v Congresses. | |
| 710 | 2 | |a IEEE Computer Society. |0 http://id.loc.gov/authorities/names/n79043202 |1 http://isni.org/isni/0000000121770782. | |
| 710 | 2 | |a IEEE Computer Society. |b Technical Committee on Complexity in Computing. |0 http://id.loc.gov/authorities/names/nr96044074. | |
| 785 | 0 | 0 | |t Formal methods and software engineering. |
| 856 | 4 | 2 | |u https://colorado.idm.oclc.org/login?url=https://colorado.illiad.oclc.org/illiad/COD/illiad.dll?Action=10&Form=22&CitedIn=librarycatalogserials |z Request a PDF (UCB only) |
| 907 | |a .b30640969 |b 05-20-20 |c 08-24-99 | ||
| 998 | |a pas |b 08-24-99 |c m |d s |e - |f eng |g cau |h 0 |i 2 | ||
| 907 | |a .b30640969 |b 07-10-18 |c 08-24-99 | ||
| 944 | |a MARS - RDA ENRICHED | ||
| 907 | |a .b30640969 |b 06-10-10 |c 08-24-99 | ||
| 907 | |a .b30640969 |b 07-31-08 |c 08-24-99 | ||
| 947 | |a rev cg 2/02 af www | ||
| 946 | |a tlg 0899 | ||
| 947 | |a 05/06be hmx |b je |n cd | ||
| 999 | f | f | |i b7c83069-3094-5112-84ec-cb9b25325707 |s dcc1b611-1c9b-5ee8-bb01-67799bca7216 |
| 856 | 4 | |y Request a PDF (UCB only) | |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Boulder Campus |c Offsite |d PASCAL Offsite |e TA5 .I573 |h Library of Congress classification |i book |k 2nd 1998 |m P106320305013 |n 1 |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Boulder Campus |c Offsite |d PASCAL Offsite |e TA5 .I573 |h Library of Congress classification |i book |k 3rd 2000 |m P106320305012 |n 1 |