Formal methods for software engineering

By:

Contributor(s):

Material type: Text

TextPublication details: Switzerland Springer 2022Description: 524pISBN:

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	Call number	Status	Barcode
Books	RLKU Library & Information Resource Center	005 ROG (Browse shelf(Opens below))	Available	13396
Books	RLKU Library & Information Resource Center	005 ROG (Browse shelf(Opens below))	Available	13397
Books	RLKU Library & Information Resource Center	005 ROG (Browse shelf(Opens below))	Available	13398
Books	RLKU Library & Information Resource Center	005 ROG (Browse shelf(Opens below))	Available	13399
Books	RLKU Library & Information Resource Center	005 ROG (Browse shelf(Opens below))	Available	13400

Previous						No cover image available	No cover image available	Next
Previous	005 ROG Formal methods for software engineering	005 ROG Formal methods for software engineering	005 ROG Formal methods for software engineering	005 ROG Formal methods for software engineering	005 ROG Formal methods for software engineering	005 ROS Introduction to microcontroller programming for power electronics control applications	005 ROS Introduction to microcontroller programming for power electronics control applications	Next

There are no comments on this title.

to post a comment.