| Record ID | marc_loc_2016/BooksAll.2016.part18.utf8:173497123:864 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part18.utf8:173497123:864?format=raw |
LEADER: 00864pam a2200229 a 4500
001 88031026
003 DLC
005 19890410130258.8
008 881011s1989 ne a b 00100 eng
010 $a 88031026
020 $a0444871322
050 0 $aQA76.9.D5$bF66 1989
082 0 $a005.1/2$219
245 04 $aThe Formal description technique Estelle :$bresults of the ESPRIT/SEDOS Project /$cedited by Michel Diaz ... [et al.].
260 0 $aAmsterdam ;$aNew York :$bNorth-Holland ;$aNew York, N.Y., U.S.A. :$bSole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,$c1989.
300 $aviii, 439 p. :$bill. ;$c25 cm.
504 $aIncludes bibliographies and index.
650 0 $aElectronic data processing$xDistributed processing.
610 20 $aESPRIT/SEDOS Project.
650 0 $aSystem design.
700 10 $aDiaz, Michel,$d1945-
740 01 $aEstelle.