LEADER 01577aam  2200421I  450 
001 9910710749303321
005 20160421112351.0
024 8 $aGOVPUB-C13-f6c7c0b514c1768dec7d953ac56e1e19
035   $a(CKB)5470000002478814
035   $a(OCoLC)947049639
035   $a(EXLCZ)995470000002478814
100   $a20160421d2009      ua             0
101 0 $aeng
181   $2rdacontent
182   $2rdamedia
183   $2rdacarrier
200 10$aFormal representation of product design specifications for validating product designs /$fAlex Weissman; Satyandra K. Gupta; Xenia Fiorentini; Rachuri Sudarsan; Ram D. Sriram
210  1$aGaithersburg, MD :$cU.S. Dept. of Commerce, National Institute of Standards and Technology,$d2009.
215   $a1 online resource
225 1 $aNISTIR ;$v7626
300   $a2009.
300   $aContributed record: Metadata reviewed, not verified. Some fields updated by batch processes.
300   $aTitle from PDF title page.
320   $aIncludes bibliographical references.
700   $aWeissman$b Alex$01418281
701   $aFiorentini$b Xenia$01388800
701   $aGupta$b Satyandra K$01401881
701   $aSriram$b Ram D$01390362
701   $aRachuri$b Sudarsan$01388804
701   $aWeissman$b Alex$01418281
712 02$aNational Institute of Standards and Technology (U.S.)
801  0$bNBS
801  1$bNBS
801  2$bGPO
906   $aBOOK
912   $a9910710749303321
996   $aFormal representation of product design specifications for validating product designs$93529228
997   $aUNINA