Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Lưu vào:
Hiển thị chi tiết
Tác giả chính: David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Neil D. Jones, Markus Müller-Olm.
Định dạng: Sách
Thông tin xuất bản: Springer 2017
Chủ đề:
Computer Science
005.1/4
Truy cập trực tuyến:http://repository.vnu.edu.vn/handle/VNU_123/29837
Từ khóa: Thêm từ khóa bạn đọc
Không có từ khóa, Hãy là người đầu tiên gắn từ khóa cho biểu ghi này!

Dữ liệu nguồn

http://repository.vnu.edu.vn/handle/VNU_123/29837

Tài liệu tương tự

  • Component-Based Software Engineering
    Thông tin tác giả:: David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Michel R. V. Chaudron, Clemens Szyperski, Ralf Reussner.
    Thông tin xuất bản: (2017)
  • Model Driven Engineering Languages and Systems
    Thông tin tác giả:: David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz
    Thông tin xuất bản: (2017)
  • Implementation and Application of Functional Languages
    Thông tin tác giả:: David Hutchison, Takeo Kanade
    Thông tin xuất bản: (2017)
  • Verification, Model Checking, and Abstract Interpretation
    Thông tin tác giả:: David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg
    Thông tin xuất bản: (2017)
  • Rewriting Techniques and Applications
    Thông tin tác giả:: David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Andrei Voronkov.
    Thông tin xuất bản: (2017)