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!

National Library and Documentation Services Board, Sri Lanka

Holdings details from National Library and Documentation Services Board, Sri Lanka
Call Number:	511.3
Copy	On Shelf