Practical Formal Methods in Software Engineering

Mills, Bruce

ISBN 10: 1108818641 / ISBN 13: 9781108818643

Published by Cambridge University Press, 2019

About this Item

1st edition NO-PA16APR2015-KAP.

Seller Inventory # 26389700481

Bibliographic Details

• Title: Practical Formal Methods in Software Engineering
• Publisher: Cambridge University Press
• Publication Date: 2019
• Language: English
• ISBN 10: 1108818641
• ISBN 13: 9781108818643
• Binding: Soft cover
• Condition: New

About this title

Synopsis

A practically-minded software engineering textbook aimed at final year undergraduate and graduate students.

About the Author

Bruce Mills holds a Ph.D. in computer science and mathematics from the University of Western Australia, Perth. He has twenty years of experience in the industrial electronics and software fields, and as a lecturer in his native country, Wales, and the Middle East. Dr Mills is the author of Theoretical Introduction to Programming (2010).