Normal view MARC view ISBD view

Logic in computer science : modelling and reasoning about systems

By:

Material type: Text

TextPublication details: New York Cambridge University Press 2021Edition: 2ndDescription: xiv,427pDDC classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Home library	Call number	Status	Notes	Date due	Barcode
Books	School of Computer Engineering Library	School of Computer Engineering Library	005.1015113 (Browse shelf(Opens below))	Available	2022-09-13		SCE97678

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	005.1 WIE,M Software Quality	005.1 WIE,R Modern Software Development using C Net	005.1 ZHU,H Software Design Methodology	005.1015113 Logic in computer science : modelling and reasoning about systems	005.1023 Soft skills : the software developer's life manual	005.1023 Soft skills : the software developer's life manual	005.1068 HEN,J Software Project Management	Next

There are no comments on this title.

to post a comment.