Program deprivation using formal method

View on Open Library

Program deprivation using formal method

by Xuejun Zhang

No reviews yet

First published: 1997 1 language

Subjects

Computer logic Computer software Development

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Xuejun Zhang

Ming Qing Sichuan jing yan shi gao

Ming Qing Sichuan jing yan shi gao

Domain decomposition algorithms for the biharmonic Dirichlet problem

Domain decomposition algorithms for the ...

Fan tan ju zhang de mou lue

Fan tan ju zhang de mou lue

Lu Xun di feng ci yi shu (Lu Xun de yi shu shi jie)

Lu Xun di feng ci yi shu (Lu Xun de yi s...

Shi ye zhi meng

Shi ye zhi meng

Sichuan jin dai gong ye shi

Sichuan jin dai gong ye shi

You Might Also Like

More in Computer logic

Gödel, Escher, Bach

Gödel, Escher, Bach

Douglas R. Hofstadter

Discrete Mathematics and Its Applications

Discrete Mathematics and Its Application...

Kenneth H. Rosen

Computability and logic

Computability and logic

George Boolos

Digital Design

John F. Wakerly

Evaluation of Novel Approaches to Software Engineering

Evaluation of Novel Approaches to Softwa...

Leszek A. Maciaszek

Information and Communication Technologies in Education, Research, and Industrial Applications

Information and Communication Technologi...

Vadim Ermolayev