You're in Computer Books
See Matches in:
Narrow Search Results
| Best Seller  | Our books are pre-loved which means they have been read before. We carefully check all our books and believe them to be in a - USED - VERY GOOD Condition condition. If you re not completely satisfied please get in touch & we ll be happy to help.... more | FREE shipping go to store |
 | Pre-Owned Practical Formal Software Engineering : Wanting the Software You Get 9780521879033 A textbook with a practical bent for final year undergraduate and graduate students emphasising formal methods in writing robust code quickly. Assuming prior experience with C C++ or Java programming languages this book examines the interaction between... more | $5.92 $4.50 FREE shipping go to store |
| Best Seller  | This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods SEFM 2022 which took place in Berlin Germany in September 2022. The 19 full and 3 short papers included in this book were... more | $68.94 $48.16 go to store |
 | This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods ISoLA 2022 which took place in Rhodes Greece in October/November 2022. The... more | $79.99 $54.53 go to store |
 | The security of software systems in recent years has been transformed from a mono-dimensional technical challenge to a multi-dimensional technico-social challenge due to the wide usage of software systems in almost every area of the human life. This... more | $212.18 $185.66 FREE shipping go to store |
 | Embedded Software System Testing: Automatic Testing Solution Based on Formal Method (Hardcover) This book introduces embedded software engineering and management methods proposing the relevant testing theory and techniques that promise the final realization of automated testing of embedded systems. The quality and reliability of embedded systems... more | go to store |
 | Although the field of sparse representations is relatively new research activities in academic and industrial research labs are already producing encouraging results. The sparse signal or parameter model motivated several researchers and practitioners... more | $35.98 $29.99 go to store |
 | The 2010 Symposium on Component-Based Software Engineering (CBSE 2010) was the 13th in a series of successful events that have grown into the main forum for industrial and academic experts to discuss component technology. CBSE is concerned with the... more | $84.99 $66.34 FREE shipping go to store |
Ads related to formal engineering for industrial software
