LEADER 01800oam  2200469zu 450 
001 996204369303316
005 20210807003337.0
035   $a(CKB)111026746745314
035   $a(SSID)ssj0000451076
035   $a(PQKBManifestationID)12167904
035   $a(PQKBTitleCode)TC0000451076
035   $a(PQKBWorkID)10445166
035   $a(PQKB)10709093
035   $a(EXLCZ)99111026746745314
100   $a20160829d1997      uy              
101 0 $aeng
181   $ctxt
182   $cc
183   $acr
200 10$aFirst IEEE International Conference Conference [sic] on Formal Engineering Methods : proceedings, Hiroshima, Japan, November 12-14, 1997
210 31$a[Place of publication not identified]$cIEEE Computer Society Press$d1997
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a0-8186-8002-4 
606   $aEngineering$xCongresses$xMethodology
606   $aComputer software$xCongresses$xDevelopment
606   $aEngineering & Applied Sciences$2HILCC
606   $aEngineering - General$2HILCC
615  0$aEngineering$xCongresses$xMethodology
615  0$aComputer software$xCongresses$xDevelopment
615  7$aEngineering & Applied Sciences
615  7$aEngineering - General
676   $a620/.0028
702   $aHinchey$b Michael G$g(Michael Gerard),$f1969-
702   $aLiu$b Shaoying
712 02$aIEEE Computer Society Technical Committee on Complexity in Computing.
712 02$aIEEE Computer Society
712 12$aIEEE International Conference on Formal Engineering Methods
801  0$bPQKB
906   $aBOOK
912   $a996204369303316
996   $aFirst IEEE International Conference Conference on Formal Engineering Methods : proceedings, Hiroshima, Japan, November 12-14, 1997$92369730
997   $aUNISA