Concise guide to software verification: from model checking to annotation checking

By:

Contributor(s):

Material type: Text

TextSeries: Texts in Computer SciencePublication details: Switzerland: Springer, 2023.Description: ix, 248 pISBN:

Subject(s):

DDC 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	Collection	Call number	Status	Barcode
Book	Engineering Library	Presidency School of Computer Science and Engineering	658.5 HUI (Browse shelf(Opens below))	Available	63058

Browsing Library and Knowledge Resource Centre shelves,Collection: Presidency School of Computer Science and Engineering Close shelf browser (Hides shelf browser)

Previous
Previous	629.893 ALL Make bluetooth: bluetooth le projects with arduino, raspberry pi, and smartphones	658.403 WEB Artificial intelligence for business analytics: algorithms, platforms and application scenarios	658.404 DAV 97 things every project managers should know: collective Wisdom from the Experts	658.5 HUI Concise guide to software verification: from model checking to annotation checking	794.8 PAG Making isometric social real-time games with HTML5, CSS3 and Javascript