Formal Methods: Foundations and Applications

Mã QR

Formal Methods: Foundations and Applications

This book constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, held in Natal, Brazil, in November 2010. The 18 revised full papers were carefully reviewed and selected from 55 submissions. The papers presented cover a broad ran...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Davies, Jim, Silva, Leila, Simao, Adenilso
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer 2015
Những chủ đề:	Formal methods Congresses Informatique
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/57930
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ự

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)

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)

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Bỡi: Bjørner, Nikolaj, et al.
Được phát hành: (2015)

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)

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)

Informatique 73
Được phát hành: (1973)

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)

Enabling Real-Time Business Intelligence
Bỡi: Castellanos, M, et al.
Được phát hành: (2015)

Languages, Design Methods, and Tools for Electronic System Design:Selected Contributions from FDL 2013
Bỡi: Louërat, Marie-Minerve, et al.
Được phát hành: (2015)

Information Security Applications 11th International Workshop, WISA 2010, Jeju Island, Korea, August 24-26, 2010, Revised Selected Papers
Bỡi: Chung, Yongwha, et al.
Được phát hành: (2015)

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

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

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

Technique et science informatiques /
Bỡi: Outin Helene
Được phát hành: (1995)

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

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)

Formal Methods in Software and Systems Modeling
Được phát hành: (2020)

Formal Methods Teaching
Bỡi: Dongol, Brijesh, et al.
Được phát hành: (2020)

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

Formal analysis of hybrid prefix/carry-select arithmetic systems /

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

Guide to Signals and Patterns in Image Processing (Foundations, Methods and Applications)
Bỡi: Das, Apurba
Đượ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)

Computational Intelligence
Bỡi: Madani, K, et al.
Được phát hành: (2015)

Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II
Bỡi: Rutkowski, L, et al.
Được phát hành: (2015)

Computer networking and the Internet
Bỡi: Halsall, Fred
Được phát hành: (2005)

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

Formal Logical Methods for System Security and Correctness
Bỡi: Grumberg, Orna, et al.
Được phát hành: (2013)

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

Proceedings of the workshop semigroups and languages
Được phát hành: (2004)

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

Semigroups, algorithms, automata, and languages : Coimbra, Portugal, May-July 2001 /
Được phát hành: (2002)

Data mining : concepts and techniques /
Bỡi: Han, Jiawei.
Được phát hành: (2006)

Linear and nonlinear conjugate gradient-related methods /
Được phát hành: (1996)

Use case driven object modeling with UML
Bỡi: Rosenberg, Doug

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

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

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

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

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