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

QR-koodi

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

Tallennettuna:

Bibliografiset tiedot
Päätekijä:	Yang, Xuejun.
Muut tekijät:	Wang, Ji., Yi, Xiaodong.
Aineistotyyppi:	Artikkeli
Kieli:	English
Aiheet:	Model abstraction Partial weakest precondition Slicing execution
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

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

Samankaltaisia teoksia

A model fit statistic for generalized partial credit model /
Tekijä: Liang, Tie.

Heuristic-guided abstraction refinement /

Harmonic Analysis, Partial Differential Equations and Applications. 1st ed. 2017
Tekijä: Chanillo, Sagun, et al.
Julkaistu: (2020)

Linear partial differential operators /
Tekijä: Hörmander, Lars.
Julkaistu: (1969)

The executive in transition
Tekijä: Randall, Clarence B.
Julkaistu: (1967)

Partial Differential Equations
Tekijä: Epstein, Marcelo
Julkaistu: (2020)

Partial differential equations
Tekijä: F. John

Partial differential equations /
Tekijä: Garabedian, Paul.
Julkaistu: (1986)

Global executive leadership inventory :
Tekijä: Vries, Manfred F. R. Kets de
Julkaistu: (2005)

Applied partial differential equations
Julkaistu: (1999)

Lectures on partial differential equations /
Tekijä: Arnolʹd, V. I. 1937-2010.
Julkaistu: (2004)

Lectures on partial differential equations /
Tekijä: Petrovsky, I. G.
Julkaistu: (1991)

Lectures on partial differential equations /
Tekijä: Arnolʹd, V. I. 1937-2010.
Julkaistu: (2004)

Toward the liberally educated executive
Tekijä: Goldwin, Robert A.
Julkaistu: (1960)

Executive essentials
Tekijä: Posner, Mitchell J.
Julkaistu: (1982)

Partial differential equations (with 42 illustrations)
Tekijä: Jeffrey Rauch
Julkaistu: (1991)

Partial differential equations (with 25 figures)
Tekijä: Fritz John (1910-
Julkaistu: (1981)

Partial differential equations of applied mathematics
Tekijä: Zauderer, Erich
Julkaistu: (2006)

Learning with Partially Labeled and Interdependent Data
Tekijä: Amini, Massih-Reza, et al.
Julkaistu: (2015)

Book of abstracts
Julkaistu: (2005)

Systems of partial differential equations and algebraic geometry.
Tekijä: Petrowsky, I.G.
Julkaistu: (1996)

Partial Differential Equations in Action Complements and Exercises
Tekijä: Salsa, Sandro, et al.
Julkaistu: (2015)

An introduction to partial differential equations
Tekijä: Pinchover, Yehuda
Julkaistu: (2005)

Introduction to partial differential equations /
Tekijä: Pinchover, Yehuda, 1953-
Julkaistu: (2005)

Introduction to indexing and abstracting
Tekijä: Cleveland, Donald B.
Julkaistu: (2001)

Applied abstract algebra /
Tekijä: Lidl, Rudolf.
Julkaistu: (1998)

Review of Mid-Japan and executives
Julkaistu: (1971)

Executive thinking :
Tekijä: Kossoff, Leslie L.
Julkaistu: (1999)

The red executive :
Tekijä: Granick, David
Julkaistu: (1960)

Topics in applied abstract algebra
Tekijä: S. R. Nagpaul
Julkaistu: (2005)

Advanced indexing and abstracting practices
Tekijä: Parekh, L. R.
Julkaistu: (2000)

Rigorous Time Slicing Approach to Feynman Path Integrals. 1st ed. 2017
Tekijä: Fujiwara, Daisuke
Julkaistu: (2020)

Biological abstracts :
Julkaistu: (1997)

Biological abstracts :
Julkaistu: (1997)

A first course in abstract algebra
Tekijä: Fraleigh, John B.
Julkaistu: (2003)

Abstract algebra: the basic graduate year
Tekijä: Ash, Robert B.
Julkaistu: (2009)

A first course in partial differential equations with complex variables and transform methods /
Tekijä: Weinberger, Hans F.
Julkaistu: (1965)

Abstracting practices in libraries
Julkaistu: (2001)

The functions of the executive.
Tekijä: Barnard, Chester Irving
Julkaistu: (1968)

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