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 /

שמור ב:

מידע ביבליוגרפי
מחבר ראשי:	Yang, Xuejun.
מחברים אחרים:	Wang, Ji., Yi, Xiaodong.
פורמט:	Bài viết
שפה:	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, et al.
יצא לאור: (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, et al.
יצא לאור: (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, et al.
יצא לאור: (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..