Rigorous software development: an introduction to program verification. An introduction to program verification.

By:

Material type: Text

TextLanguage: English Publication details: New Delhi Springer 2015Edition: 1Description: xii,263ISBN:

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	St Aloysius Institute of Management & Information Technology	MCA	005.304 ALMJ (Browse shelf(Opens below))	Available	MCA14104

Total holds: 0

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 No cover image available			Next
Previous	005.303 TATA Introduction to: frame work. Frame work.	005.303 TATA Frame work mite: user guide. User guide.	005.303 WILR Manual frame work.	005.304 ALMJ Rigorous software development: an introduction to program verification. An introduction to program verification.	005.304 ANDD Symphony encore: program notes. Program notes.	005.304 BABM Agile software architecture: aligning agile processes and software architectures. Aligning agile processes and software architectures.	005.304 BANR Design sprint: a practical for building great digital products. Practical for building great digital products.	Next

There are no comments on this title.

to post a comment.