| Record ID | marc_records_scriblio_net/part20.dat:24128864:1018 |
| Source | Scriblio |
| Download Link | /show-records/marc_records_scriblio_net/part20.dat:24128864:1018?format=raw |
LEADER: 01018cam 2200265 a 4500
001 88037407 //r952
003 DLC
005 19950216095609.4
008 881103s1989 ne a b 000 0 eng
010 $a 88037407 //r952
020 $a0444872671
040 $aDLC$cDLC$dDLC
050 00 $aQA76.9.D5$bF65 1989
082 00 $a004/.36$219
245 04 $aThe Formal description technique Lotos :$bresults of the ESPRIT/SEDOS Project /$cedited by Peter H.J. van Eijk, Chris A. Vissers, Michel Diaz.
260 0 $aAmsterdam ;$aNew York :$bNorth-Holland ;$aNew York, N.Y. :$bSole distributors for the U.S.A. and Canada, Elsevier Science Pub.,$c1989.
300 $ax, 451 p. :$bill. ;$c25 cm.
504 $aIncludes bibliographies.
650 0 $aElectronic data processing$xDistributed processing.
610 20 $aESPRIT/SEDOS Project.
650 0 $aLOTOS (Computer program language)
650 0 $aSystem design.
700 10 $aEijk, Peter H. J. van,$d1959-
700 10 $aVissers, Chris A.,$d1941-
700 10 $aDiaz, Michel,$d1945-