Making formal methods more simple with few extensions to mathematical logic.

Saved in:

Bibliographic Details
Main Author:	Senaratne, W. R. A. De Z.
Format:	Book
Language:	Sinhalese
Published:	[s.l.] : Author, 2000.
Subjects:	Logic, Symbolic and mathematical
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!

Similar Items