Normal view MARC view ISBD view

Derivation of imperative sequential programs from formal specifications (R)

By: Chaudhari, Dipak Liladhar [Author]Contributor(s): Damani, Om [Supervisor] | Indian Institute of Technology Bombay Department of Computer Science and Engineering Language: English Publication details: Bombay ; IIT ; 2017Description: xii,107 p; 30 cmSubject(s): Damani, Om | Theses and Dissertations | Computer programming | Logic | Symbolic and mathematical | Automatic theorem provingDissertation note: Thesis Ph.D Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2017

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode	Item holds
Theses and Dissertations	Central Library, IITB Pamphlet Section (Theses, Standards, Reports)	043:681.3.06:517.1Cha	Not for loan		241242

Total holds: 0

Thesis Ph.D Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2017

There are no comments on this title.

to post a comment.