Fundamentals of logic and computation : with practical automated reasoning and verification / Zhe Hou

By:

Material type: Text

TextPublication details: Cham, Switzerland Springer 2021Description: x, 221ISBN:

Subject(s):

DDC classification:

Other classification:

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

Holdings
Item type	Current library	Home library	Call number	Status	Date due	Barcode
Book	Campus Library Kariavattom	Campus Library Kariavattom	005.1015 HOU (Browse shelf(Opens below))	Available		UCL33467

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		Next
Previous	005.1 RAJ.F Fundamentals of software engineering	005.1 SMI.E Elemental design patterns	005.1 SPA.B Beginning ASP.NET 4.5 in C# and VB	005.1015 HOU Fundamentals of logic and computation : with practical automated reasoning and verification /	005.103 ENC.E.1 Encyclopaedia of software engineering- 2 vol.	005.103 ENC.E.2 Encyclopaedia of software engineering- 2 vol.	005.11 DAS.C C,C++, C# Programming concepts	Next

There are no comments on this title.

to post a comment.