New paradigms in computer aided verification

Contributor(s):

Material type: Text

TextLanguage: English Publication details: U.S.A States 2023Description: 250pISBN:

Subject(s):

DDC classification:

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

Holdings
Item type	Current library	Call number	Status	Barcode
Books	Nalanda Library Circulation Books	005.14 T23 KEA (Browse shelf(Opens below))	Available	21979

Total holds: 0

Previous	No cover image available		No cover image available		No cover image available	No cover image available	No cover image available	Next
Previous	005.14 N96 FRA M Software reliability engineer primer CSQE primer	005.14 N96 JON Applied software measurement	005.14 T07 EBE.D Software measurement establish-extract-evaluate-execute	005.14 T23 KEA New paradigms in computer aided verification	005.26 T07 PAR.S Exploring C for microcontrolle	005.26 T09 FLI Mobile design and development	005.262 T10 HOG Bare-bones R : a brief introductory guide	Next

There are no comments on this title.

to post a comment.