Verified Software: Theories, Tools, Experiments

565 p.

Saved in:

Bibliographic Details
Main Author:	Bertrand Meyer, Jim Woodcock.
Format:	Book
Language:	English
Published:	Springer 2017
Subjects:	Computer Science ; Computer software > Testing 005.1/4
Online Access:	http://repository.vnu.edu.vn/handle/VNU_123/31036
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	Vietnam National University, Hanoi
Language:	English

Be the first to leave a comment!

Similar Items