Amvik eBook Solutions

This invaluable textbook/reference provides an easy-to-read guide to the fundamentals of formal methods, highlighting the rich applications of formal methods ac

This textbook presents a concise introduction to the fundamental principles of software engineering, together with practical guidance on how to apply the theory

This is an excellent introduction to formal methods which will bring anyone who needs to know about this important topic up to speed. It is comprehensive, givin

This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in pra

This practically-focused textbook provides a concise and accessible introduction to the field of software testing, explaining the fundamental principles and off