02363oam 2200505 450 99641829290331620210604112141.03-030-63406-X10.1007/978-3-030-63406-3(CKB)4100000011665260(DE-He213)978-3-030-63406-3(MiAaPQ)EBC6427577(PPN)25251436X(EXLCZ)99410000001166526020210604d2021 uy 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierFormal methods and software engineering 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, proceedings /Shang-Wei Lin, Zhe Hou, Brendan Mahony (Eds.)1st ed. 2020.Cham, Switzerland :Springer,[2021]©20211 online resource (XII, 335 p. 386 illus., 48 illus. in color.) Lecture Notes in Computer Science ;125313-030-63405-1 Safety and Security -- Program Verification -- Formal Methods and Machine Learning -- Formal Languages -- Other Applications of Formal Methods.This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover theory and applications in formal engineering methods together with case studies. They also represent the recent development in the use and development of formal engineering methods for software and system development.Lecture notes in computer science ;12531.Formal methods (Computer science)CongressesSoftware engineeringCongressesFormal methods (Computer science)Software engineering004.0151Lin Shang-WeiHou ZheMahony BrendanMiAaPQMiAaPQUtOrBLWBOOK996418292903316Formal Methods and Software Engineering771999UNISA04327oam 2200637I 450 991097224780332120251117093148.01-283-97263-80-203-07505-61-135-11798-510.4324/9780203075050 (CKB)2670000000325556(EBL)1114650(OCoLC)827208977(SSID)ssj0000822249(PQKBManifestationID)12348735(PQKBTitleCode)TC0000822249(PQKBWorkID)10757566(PQKB)11105503(MiAaPQ)EBC1114650(Au-PeEL)EBL1114650(CaPaEBR)ebr10650310(CaONFJC)MIL428513(OCoLC)826652830(FINmELB)ELB133532(EXLCZ)99267000000032555620180706d2013 uy 0engur|n|---|||||txtccrMoney and banking in Jean-Baptiste Say's economic thought /Gilles Jacoud1st ed.New York, N.Y. :Routledge,2013.1 online resource (289 p.)Routledge studies in the history of economics ;151Routledge studies in the history of economics ;151Description based upon print version of record.1-138-90363-9 0-415-67737-8 Includes bibliographical references and index.Introduction / Gilles Jacoud -- Extracts from the Catechism of political economy / Jean-Baptiste Say -- Of money -- Of the representative signs of money -- Of monies : extracts from the complete course in practical political economy / Jean-Baptiste Say -- Of the nature and uses of money -- Of the material of money -- Of the foundation of the value of monies -- Why the value of silver did not decrease more following the discovery of America -- Of the relative value of different metals used as money -- Of the manufacture of metallic monies -- Of the profit it is possible to make from the manufacture of coinage -- Of the attempts which have been made to have a measure of values -- Of the value of precious metals compared with that of wheat, from ancient times -- Evaluation of historical amounts -- Of paper monies -- Of the representative signs of money : extracts from the complete course in practical political economy / Jean-Baptiste Say -- General characteristics of representative signs -- Of trust notes and banks of circulation -- Abuse of banks of circulation -- Of deposit banks and party transfers -- Of promissory notes, bills of exchange and foreign exchange -- Extracts from a Treatise on Political Economy / Jean-Baptiste Say -- Extracts from editions 1, 2 and 3 of a Treatise on political economy -- Extracts from editions 5 and 6 of a Treatise on political economy -- Manuscripts, notes and varied texts / Jean-Baptiste Say -- Tribunat : report made on behalf of the finance section on the projected law concerning the recoinage of monies -- Notes on Henri Storch's Cours d'économie politique -- Of the commercial crisis in England -- Extracts from correspondence -- Plan for a new money in Ricardo's style -- Of deposit banks and party transfers -- Of the debasement of monies -- Chronological table / Gilles Jacoud.The aim of this work is to make available to English-language readers a translation of Jean-Baptiste Say's main texts on money and banking which were not at present accessible in English. The work includes chapters from his books taking into account the variants between the different editions, articles and hitherto unpublished manuscripts. Comprehension of these different texts is facilitated by an introduction designed to place them in their context and by a chronological table giving the main events of Say's life and editorial activity in parallel with the main political, economic Routledge Studies in the History of EconomicsEconomicsEconomics.332.101Jacoud Gilles.856147MiAaPQMiAaPQMiAaPQBOOK9910972247803321Money and banking in Jean-Baptiste Say's economic thought4498002UNINA