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 /

Mã QR

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 /

Đã lưu trong:

Chi tiết về thư mục
Tác giả của công ty:	EEF/Euro Summer School on Trends in Computer Science Berg en Dal, Netherlands)
Tác giả khác:	Brinksma, Ed., Hermanns, Holger, 1967-, Katoen, Joost-Pieter.
Định dạng:	Sách giấy
Được phát hành:	Berlin ; New York : Springer, c2001.
Loạt:	Lecture notes in computer science, 2090
Những chủ đề:	Formal methods (Computer science) > Congresses.
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: Foundations and Applications
Bỡi: Davies, Jim, 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)

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)

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)

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)

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)

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

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)

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

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

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

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

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

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

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

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)

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

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 Logical Methods for System Security and Correctness
Bỡi: Grumberg, Orna, et al.
Được phát hành: (2013)

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

Statistical computer performance evaluation /
Được phát hành: (1972)

Algorithm engineering : 4th international workshop, WAE 2000, Saarbrucken, Germany, September 5-8, 2000 : proceedings /
Được phát hành: (2001)

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

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

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

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

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

Formal Concept Analysis
Được phát hành: (2020)

Noncommutative geometry : lectures given at the C.I.M.E. summer school held in Martina Franca, Italy, September 3-9, 2000 /
Được phát hành: (2004)

Natural language processing and information systems : 5th International Conference on Applications of Natural Language to Information Systems, NLDB 2000, Versailles, France, June 2000 : revised papers /
Được phát hành: (2001)

Mathematical software : proceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002 /
Được phát hành: (2002)

Proceedings 2000 /
Được phát hành: (2000)

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

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

Proceedings of the Hong Kong International Workshop on Statistics and Finance : an interface : Centre of Financial Time Series, The University of Hong Kong, 4-8 July 1999 /
Được phát hành: (2000)

Proceedings of the Hong Kong International Workshop on Statistics and Finance : an interface : Centre of Financial Time Series, The University of Hong Kong, 4-8 July 1999 /
Được phát hành: (2000)

Lecture notes on turbulence : lecture notes from the NCAR-GTP summer school, June 1987 /
Được phát hành: (1989)