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

QRコード

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

保存先:

書誌詳細
第一著者:	Yang, Xuejun.
その他の著者:	Wang, Ji., Yi, Xiaodong.
フォーマット:	論文
言語:	English
主題:	Model abstraction Partial weakest precondition Slicing execution
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

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

類似資料

A model fit statistic for generalized partial credit model /
著者:: Liang, Tie.

Heuristic-guided abstraction refinement /

Harmonic Analysis, Partial Differential Equations and Applications. 1st ed. 2017
著者:: Chanillo, Sagun, 等
出版事項: (2020)

Linear partial differential operators /
著者:: Hörmander, Lars.
出版事項: (1969)

The executive in transition
著者:: Randall, Clarence B.
出版事項: (1967)

Partial Differential Equations
著者:: Epstein, Marcelo
出版事項: (2020)

Partial differential equations
著者:: F. John

Partial differential equations /
著者:: Garabedian, Paul.
出版事項: (1986)

Global executive leadership inventory :
著者:: Vries, Manfred F. R. Kets de
出版事項: (2005)

Applied partial differential equations
出版事項: (1999)

Lectures on partial differential equations /
著者:: Arnolʹd, V. I. 1937-2010.
出版事項: (2004)

Lectures on partial differential equations /
著者:: Petrovsky, I. G.
出版事項: (1991)

Lectures on partial differential equations /
著者:: Arnolʹd, V. I. 1937-2010.
出版事項: (2004)

Toward the liberally educated executive
著者:: Goldwin, Robert A.
出版事項: (1960)

Executive essentials
著者:: Posner, Mitchell J.
出版事項: (1982)

Partial differential equations (with 42 illustrations)
著者:: Jeffrey Rauch
出版事項: (1991)

Partial differential equations (with 25 figures)
著者:: Fritz John (1910-
出版事項: (1981)

Partial differential equations of applied mathematics
著者:: Zauderer, Erich
出版事項: (2006)

Learning with Partially Labeled and Interdependent Data
著者:: Amini, Massih-Reza, 等
出版事項: (2015)

Book of abstracts
出版事項: (2005)

Systems of partial differential equations and algebraic geometry.
著者:: Petrowsky, I.G.
出版事項: (1996)

Partial Differential Equations in Action Complements and Exercises
著者:: Salsa, Sandro, 等
出版事項: (2015)

An introduction to partial differential equations
著者:: Pinchover, Yehuda
出版事項: (2005)

Introduction to partial differential equations /
著者:: Pinchover, Yehuda, 1953-
出版事項: (2005)

Introduction to indexing and abstracting
著者:: Cleveland, Donald B.
出版事項: (2001)

Applied abstract algebra /
著者:: Lidl, Rudolf.
出版事項: (1998)

Review of Mid-Japan and executives
出版事項: (1971)

Executive thinking :
著者:: Kossoff, Leslie L.
出版事項: (1999)

The red executive :
著者:: Granick, David
出版事項: (1960)

Topics in applied abstract algebra
著者:: S. R. Nagpaul
出版事項: (2005)

Advanced indexing and abstracting practices
著者:: Parekh, L. R.
出版事項: (2000)

Rigorous Time Slicing Approach to Feynman Path Integrals. 1st ed. 2017
著者:: Fujiwara, Daisuke
出版事項: (2020)

Biological abstracts :
出版事項: (1997)

Biological abstracts :
出版事項: (1997)

A first course in abstract algebra
著者:: Fraleigh, John B.
出版事項: (2003)

Abstract algebra: the basic graduate year
著者:: Ash, Robert B.
出版事項: (2009)

A first course in partial differential equations with complex variables and transform methods /
著者:: Weinberger, Hans F.
出版事項: (1965)

Abstracting practices in libraries
出版事項: (2001)

The functions of the executive.
著者:: Barnard, Chester Irving
出版事項: (1968)

Weak solutions to a Penrose-Fife model for phase transitions /
著者:: Laurencot, Ph..