Predicate calculus and program semantics

Bibliographic Details
Main Authors:	Kelemen, Jozef, 1951- (Author), Dijkstra, E. W. (Author), Scholten, C. S. (Author)
Format:	Article
Language:	English
Subjects:	programovacie jazyky predikátová logika články z novín a časopisov

Similar Items