LEADER 01470oam  2200385zu 450 
001 996217488603316
005 20210807003252.0
035   $a(CKB)111026746698060
035   $a(SSID)ssj0000558411
035   $a(PQKBManifestationID)12197978
035   $a(PQKBTitleCode)TC0000558411
035   $a(PQKBWorkID)10560150
035   $a(PQKB)10983064
035   $a(EXLCZ)99111026746698060
100   $a20160829d1999      uy              
101 0 $aeng
181   $ctxt
182   $cc
183   $acr
200 10$aIndustrial Strength Formal Specification Techniques: Proceedings, IEEE Workshop on Industrial-Strength Formal Specification Techniques (2nd: 1998: Boca Raton, FL
210 31$a[Place of publication not identified]$cIEEE Computer Society Press$d1999
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a0-7695-0081-1 
606   $aEngineering & Applied Sciences$2HILCC
606   $aComputer Science$2HILCC
615  7$aEngineering & Applied Sciences
615  7$aComputer Science
676   $a005.1/2/028
712 02$aIEEE Computer Society.$bTechnical Committee on Complexity in Computing.
712 02$aFlorida Atlantic University.
801  0$bPQKB
906   $aPROCEEDING
912   $a996217488603316
996   $aIndustrial Strength Formal Specification Techniques: Proceedings, IEEE Workshop on Industrial-Strength Formal Specification Techniques (2nd: 1998: Boca Raton, FL$92348750
997   $aUNISA