LEADER 01667nam--2200469---450-
001 990000354630203316
005 20031016110924.0
035   $a0035461
035   $aUSA010035461
035   $a(ALEPH)000035463USA01
035   $a0035461
100   $a20010309d1982----km-y0itay0103----ba
101   $aeng
102   $aUS
105   $aa|||||||001yy
200   $aFormal specification and software development$fDines Bjorner and Cliff B. Jones$gin collaboration with Derek Andrews ... [et al.]$gwith the assistence of Arie de Bruin, Jeffrey Zucker
210   $aEnglewood Cliffs$cPrentice-Hall$dcopyr. 1982
215   $aX, 501 p.$cill.$d23 cm
225 2 $aPrentice-Hall International series in computer science
410  0$12001$aPrentice-Hall International series in computer science
461  1$1001-------$12001
606 0 $aElaboratori elettronici$xProgrammazione
606 0 $aElaboratori elettronici$xLinguaggi di programmazione
676   $a001.642
700  1$aBJORNER,$bDines$0543323
701  1$aJONES,$bCliff B.$026769
702  1$aANDREWS,$bDerek
801  0$aIT$bsalbc$gISBD
912   $a990000354630203316
951   $a001.6 SCS 10$b19462$c001.6$d00105304
951   $a001.6 SCS (3)$b19985 Ing$c001.6
959   $aBK
969   $aSCI
969   $aTEC
979   $aPATTY$b90$c20010309$lUSA01$h1422
979   $c20020403$lUSA01$h1643
979   $aSIAV5$b10$c20031016$lUSA01$h1102
979   $aSIAV5$b10$c20031016$lUSA01$h1104
979   $aSIAV5$b10$c20031016$lUSA01$h1109
979   $aPATRY$b90$c20040406$lUSA01$h1625
996   $aFormal specification and software development$9876382
997   $aUNISA

LEADER 02945nam  2200517   450 
001 9910822714503321
005 20230803034240.0
010   $a94-6094-858-8
035   $a(CKB)3710000000075922
035   $a(EBL)3015791
035   $a(SSID)ssj0001158878
035   $a(PQKBManifestationID)11986136
035   $a(PQKBTitleCode)TC0001158878
035   $a(PQKBWorkID)11108502
035   $a(PQKB)11363712
035   $a(MiAaPQ)EBC3015791
035   $a(EXLCZ)993710000000075922
100   $a20131217d2013      uy             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 14$aThe future in law and finance $einaugural lecture for the chair in law and finance at Erasmus School of Law, Erasmus University Rotterdam, delivered on 26 April 2013 /$fby Prof. Dr. Alessio M. Pacces
210  1$aHague, Netherlands :$cEleven International Publishing,$d2013.
210  4$dİ2013
215   $a1 online resource (45 p.)
225 0 $aErasmus Law Lectures ;$v32
300   $aDescription based upon print version of record.
311   $a1-322-42300-8 
311   $a94-6236-091-X 
320   $aIncludes bibliographical references.
327   $a""COVER                               ""; ""TABLE OF CONTENTS                                                                   ""; ""CHAPTER 1: INTRODUCTION                                                                                     ""; ""CHAPTER 2: LAW & FINANCE UNDER UNCERTAINTY                                                                                                                                              ""
327   $a""CHAPTER 3: BANKING AND FINANCIAL CRISIS                                                                                                                                     """"CHAPTER 4: REGULATORY DISCRETION IN AN UNCERTAIN WORLD                                                                                                                                                                                  ""; ""CHAPTER 5: GOVERNANCE AND ACCOUNTABILITY                                                                                                                                        ""
327   $a""CHAPTER 6: CONCLUSION                                                                               """"REFERENCES                                              ""; ""ABSTRACT                                        ""; ""THE FUTURE IN LAW AND FINANCE - Samenvatting ""; ""THE FUTURE IN LAW AND FINANCE - Riassunto ""
606   $aFinance$xLaw and legislation
615  0$aFinance$xLaw and legislation.
676   $a346.07
700   $aPacces$b Alessio M$0520392
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910822714503321
996   $aThe future in law and finance$93917626
997   $aUNINA