FM 2015: Formal Methods:
20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

Mã QR

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the di...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Bjørner, Nikolaj, de Boer, Frank
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer 2015
Những chủ đề:	View all subjects Mathematical Logic and Formal Languages Software Engineering Congresses Formal methods
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/58543
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Những quyển sách tương tự

Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
Bỡi: Núñez, Manuel, et al.
Được phát hành: (2015)

The
Bỡi: Becker, Jasper
Được phát hành: (2000)

Prison Inmates Living with HIV in India: Case Studies from Prisons in Maharashtra
Bỡi: Guin, Sayantani
Được phát hành: (2015)

Internet, phone, mail, and mixed-mode surveys : the tailored design method
Bỡi: Dillman, Don A, et al.
Được phát hành: (2015)

The Changing World Religion Map: Sacred Places, Identities, Practices and Politics
Bỡi: Brunn, Stanley D
Được phát hành: (2015)

Middle East and North Africa Economic Monitor October 2014 : Corrosive Subsidies
Bỡi: Shantayanan Devarajan
Được phát hành: (2015)

Formal Concept Analysis: 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings
Bỡi: Baixeries, Jaume, et al.
Được phát hành: (2015)

Advanced Microsystems for Automotive Applications 2015: Smart Systems for Green and Automated Driving
Bỡi: Schulze, Tim, et al.
Được phát hành: (2015)

Partisan Policy-Making in Western Europe: How Ideology Influences the Content of Government Policies
Bỡi: Hartmann, Sebastian
Được phát hành: (2015)

After Integration: Islam, Conviviality and Contentious Politics in Europe
Bỡi: Burchardt, Marian, et al.
Được phát hành: (2015)

Sensors: Proceedings of the Second National Conference on Sensors, Rome 19-21 February, 2014
Bỡi: Compagnone, D, et al.
Được phát hành: (2015)

Handbook of International Negotiation: Interpersonal, Intercultural, and Diplomatic Perspectives
Bỡi: Galluccio, Mauro
Được phát hành: (2015)

Physics from Symmetry
Bỡi: Schwichtenberg, Jakob
Được phát hành: (2015)

End-of-Life Care in Cardiovascular Disease
Bỡi: Goodlin, Sarah J, et al.
Được phát hành: (2015)

Germany’s future electors: Developments of the German electorate in times of demographic change
Bỡi: Sánchez Gassen, Nora Elisa
Được phát hành: (2015)

Nordic-Iberian Cod Value Chains: Explaining salted fish trade patterns
Bỡi: Lindkvist, Knut Bjørn, et al.
Được phát hành: (2015)

Change Management and the Human Factor: Advances, Challenges and Contradictions in Organizational Development
Bỡi: Dievernich, Frank E. P, et al.
Được phát hành: (2015)

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
Bỡi: Bernardo, Marco, et al.
Được phát hành: (2015)

Healing and Change in the City of Gold: Case Studies of Coping and Support in Johannesburg
Bỡi: Palmary, Ingrid, et al.
Được phát hành: (2015)

Proceedings of the 1979 Academy of Marketing Science (AMS) Annual Conference
Bỡi: Gitlow, Howard S, et al.
Được phát hành: (2015)

Trends in Practical Applications of Agents, Multi-Agent Systems and Sustainability: The PAAMS Collection
Bỡi: Bajo, J, et al.
Được phát hành: (2015)

Coding for MIMO-OFDM in Future Wireless Systems
Bỡi: Ahmed, Bannour, et al.
Được phát hành: (2015)

Finiteness and regularity in semigroups and formal languages /
Bỡi: De Luca, A.
Được phát hành: (1999)

Disappearing destinations : Climate change and the future challenges for coastal tourism
Bỡi: Jones, Andrew C, et al.
Được phát hành: (2015)

Formal Methods: Foundations and Applications
Bỡi: Davies, Jim, et al.
Được phát hành: (2015)

An introduction to formal languages and machine computation /
Bỡi: Yan, Song Y.
Được phát hành: (1998)

Politics in Socrates' Alcibiades: A Philosophical Account of Plato’s Dialogue Alcibiades Major
Bỡi: Archie, Andre
Được phát hành: (2015)

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
Bỡi: Counsell, Steve, et al.
Được phát hành: (2015)

Formalization and theoretical analysis of the local effect model /
Bỡi: Beuve, M.

An Introduction to Formal Languages and Automata (Photo) /
Bỡi: Linz Peter
Được phát hành: (1990)

Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Bỡi: Graf, Susanne, et al.
Được phát hành: (2015)

Problem solving in automata, languages, and complexity
Bỡi: Ding-zhu Du
Được phát hành: (2001)

Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures /
Được phát hành: (2001)

Convergence of formal morphisms of completions of complex spaces /
Bỡi: Izumi, Shuzo.

Teaching Formal Methods
Được phát hành: (2020)

Formal Concept Analysis
Bỡi: Ganter, Bernhard, et al.
Được phát hành: (2020)

Analysis of the formal specification application for train control systems /
Bỡi: Jo, Hyun-Jeong.

Concise Guide to Formal Methods
Bỡi: O'Regan, Gerard
Được phát hành: (2020)

Formal Correctness of Security Protocols
Bỡi: Bella, Giampaolo
Được phát hành: (2020)

Formal Grammar
Bỡi: Foret, Annie, et al.
Được phát hành: (2020)