LEADER 00923nam0-2200313---450-
001 990009685600403321
005 20130218120851.0
035   $a000968560
035   $aFED01000968560
035   $a(Aleph)000968560FED01
035   $a000968560
100   $a20130218d1971----km-y0itaa50------ba
101 0 $aeng
102   $aUS
105   $a--------001yy
200 1 $aModern international economics$fMax J. Wasserman, Charles W. Hultman, Ray M. Ware
205   $arevised ed.
210   $aCambridge, Massachusetts$cSchenkman Publishing Company$d1971
215   $axv, 562 p.$d24 cm
700  1$aWasserman,$bMax J.$0493633
701  1$aHultman,$bCharles W.$0519082
701  1$aWare,$bRay M.$0519083
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990009685600403321
952   $aO/1.1 WAS$b5596/I$fSES
959   $aSES
996   $aModern international economics$9839278
997   $aUNINA

LEADER 01368nam2-2200385---450-
001 990003164200203316
005 20081023102054.0
010   $a978-3-540-69147-1
035   $a000316420
035   $aUSA01000316420
035   $a(ALEPH)000316420USA01
035   $a000316420
100   $a20081023d2008----km-y0itay50------ba
101   $aeng
102   $aDE
105   $aa---||||001yy
200 1 $aVerified software: theories, tools, experiments$eSecond international conference, VSTTE 2008$eToronto, Canada, October 6-9, 2008$eProceedings$fNatarajan Shankar, Jim Woodcock (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2008
215   $aXII, 262 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v5295
410  0$12001$aLecture notes in computer science
461  1$1001000314960$12001$aLecture notes in computer science
606 0 $aInformatica$xCongressi$yToronto$z2008
676   $a001
702  1$aSHANKAR,$bNatarajan
702  1$aWOODCOCK,$bJim
710 12$aInternational conference, VSTTE 2008$b<2.;$f2008;$eToronto>$0602557
801  0$aITA$bsalbc$gISBD
912   $a990003164200203316
951   $a001 LNCS 5295$b37550/CBS$c001$d00217888
959   $aBK
969   $aSCI
979   $aCBAS$b10$c20081023$lUSA01$h1020
996   $aVerified software: theories, tools, experiments$91017532
997   $aUNISA