Slicing execution with partial weakest precondition for model abstraction of C programs /

Mã QR

Slicing execution with partial weakest precondition for model abstraction of C programs /

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Yang, Xuejun.
Tác giả khác:	Wang, Ji., Yi, Xiaodong.
Định dạng:	Bài viết
Ngôn ngữ:	English
Những chủ đề:	Model abstraction Partial weakest precondition Slicing execution
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ự

Heuristic-guided abstraction refinement /

Harmonic Analysis, Partial Differential Equations and Applications. 1st ed. 2017
Bỡi: Chanillo, Sagun, et al.
Được phát hành: (2020)

The executive in transition
Bỡi: Randall, Clarence B.
Được phát hành: (1967)

Global executive leadership inventory :
Bỡi: Vries, Manfred F. R. Kets de
Được phát hành: (2005)

Linear partial differential operators /
Bỡi: Hörmander, Lars.
Được phát hành: (1969)

Toward the liberally educated executive
Bỡi: Goldwin, Robert A.
Được phát hành: (1960)

Executive essentials
Bỡi: Posner, Mitchell J.
Được phát hành: (1982)

Book of abstracts
Được phát hành: (2005)

Partial Differential Equations
Bỡi: Epstein, Marcelo
Được phát hành: (2020)

Partial differential equations
Bỡi: F. John

Partial differential equations /
Bỡi: Garabedian, Paul.
Được phát hành: (1986)

Review of Mid-Japan and executives
Được phát hành: (1971)

Executive thinking :
Bỡi: Kossoff, Leslie L.
Được phát hành: (1999)

The red executive :
Bỡi: Granick, David
Được phát hành: (1960)

Introduction to indexing and abstracting
Bỡi: Cleveland, Donald B.
Được phát hành: (2001)

Applied abstract algebra /
Bỡi: Lidl, Rudolf.
Được phát hành: (1998)

Applied partial differential equations
Được phát hành: (1999)

Lectures on partial differential equations /
Bỡi: Arnolʹd, V. I. 1937-2010.
Được phát hành: (2004)

Lectures on partial differential equations /
Bỡi: Petrovsky, I. G.
Được phát hành: (1991)

Lectures on partial differential equations /
Bỡi: Arnolʹd, V. I. 1937-2010.
Được phát hành: (2004)

Biological abstracts :
Được phát hành: (1997)

Biological abstracts :
Được phát hành: (1997)

Topics in applied abstract algebra
Bỡi: S. R. Nagpaul
Được phát hành: (2005)

Advanced indexing and abstracting practices
Bỡi: Parekh, L. R.
Được phát hành: (2000)

A model fit statistic for generalized partial credit model /
Bỡi: Liang, Tie.

Partial differential equations (with 42 illustrations)
Bỡi: Jeffrey Rauch
Được phát hành: (1991)

Partial differential equations (with 25 figures)
Bỡi: Fritz John (1910-
Được phát hành: (1981)

Partial differential equations of applied mathematics
Bỡi: Zauderer, Erich
Được phát hành: (2006)

Learning with Partially Labeled and Interdependent Data
Bỡi: Amini, Massih-Reza, et al.
Được phát hành: (2015)

The functions of the executive.
Bỡi: Barnard, Chester Irving
Được phát hành: (1968)

Better résumés for executives and professionals =
Bỡi: Wilson, Robert F.
Được phát hành: (2003)

A first course in abstract algebra
Bỡi: Fraleigh, John B.
Được phát hành: (2003)

Abstract algebra: the basic graduate year
Bỡi: Ash, Robert B.
Được phát hành: (2009)

Abstracting practices in libraries
Được phát hành: (2001)

Systems of partial differential equations and algebraic geometry.
Bỡi: Petrowsky, I.G.
Được phát hành: (1996)

Partial Differential Equations in Action Complements and Exercises
Bỡi: Salsa, Sandro, et al.
Được phát hành: (2015)

An introduction to partial differential equations
Bỡi: Pinchover, Yehuda
Được phát hành: (2005)

Introduction to partial differential equations /
Bỡi: Pinchover, Yehuda, 1953-
Được phát hành: (2005)

Executive EQ
Bỡi: Cooper, Robert K.
Được phát hành: (1997)

Library indexing and abstracting
Được phát hành: (2001)