Guide to Software Verification with Frama-C by Nikolai Kosmatov (isbn:9783031556074)
Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications. With the growing complexity and ubiquity of modern software, there is incr...| $19475 |  | |
Go To Shop |
Buy |
Similar offers
 In today's fast-paced digital world, delivering high-quality software is not... Booktopia
| |||
  All-in-one is all you need. Complete coverage of all CSSLP exam... The Nile
| |||
 Accurate data entry and analysis can be deceptively labor-intensive and... Booktopia
| |||
 Measurement and verification (M&V) is the accounting system for energy... Booktopia
| |||
 When a fashion writer dives headfirst into the cutthroat Silicon Valley... Booktopia
| |||
 IT'S TIME TO SWAP HAUTE COUTURE FOR... Booktopia
| |||
 No work in modern literature, with the possible exception of Uncle... Booktopia
| |||
 Ataman is the story of Maria and her dog's travels across Imperial Russia... Booktopia
| |||
 Physicochemical mechanics is a self-contained theoretical framework that can... Booktopia
| |||
 This book examines the pedagogical encounters within children's ecological... Booktopia
| |||
 Power electronic devices and systems are attracting growing attention due... Booktopia
| |||
 *This set includes The Essentials of WISC-V Assessment packaged... Booktopia
| |||
 For courses in Java programming Java Software Solutions establishes a... Booktopia
| |||
 For almost four decades, Software Engineering: A Practitioner's... Booktopia
| |||
 This book provides a comprehensive, empirically grounded exploration of how... Booktopia
| |||
 This textbook concentrates on processes, activities and results related to... Booktopia
| |||
 Software project management is a crucial element in successful software and... Booktopia
| |||
 Are you working on a codebase where cost overruns, death marches, and... Booktopia
| |||
 The eighth edition continues to acknowledge and emphasize the essential... Booktopia
| |||
 Software evolution is a time-consuming and costly process due to its complex... Booktopia
| |||
 This book constitutes the refereed post proceedings of the 18th... Booktopia
| |||
 Learn how to create successful architectural designs and improve your... Booktopia
| |||
 Harness the Power of the Multi-Dimensional Coupling Model as a Tool... Booktopia
| |||
 This book addresses the question of how system software should be designed... Booktopia
| |||
 Build and maintain effective, collaborative, and motivated software... Booktopia
| |||
 How will software development and operations have to change to meet the... Booktopia
| |||
 This open access book provides an overview of the dissertations of the five... Booktopia
| |||
 Formerly Plunkett's InfoTech Industry Almanac, this book presents a... Booktopia
| |||
 Data science happens in code. The ability to write reproducible, robust,... Booktopia
| |||
 This book reports state-of-the-art results in Software Engineering,... Booktopia
| |||
 This updated and reorganized fourth edition of Software Testing: A... Booktopia
| |||
 Software Development VCE Units 3 & 4 fully reflects the scope and... Booktopia
| |||
 Good practices, collaboration tools, and effective techniques for... Booktopia
| |||
 The management of a software project has been shown to be the number one... Booktopia
| |||
 Creating an inclusive environment where different software developers can... Booktopia
| |||
 Understand the fundamental practices of modern software engineering.... Booktopia
| |||
 Unlock your full potential as an effective, efficient, and inspiring leader,... Booktopia
| |||
 Software engineering is as much about teamwork as it is about technology.... Booktopia
| |||
 Learn the principles of good software design, and how to turn those... Booktopia
| |||
 Learn the fundamentals of Object-Oriented design by investigating good--and... Booktopia
| |||
 Leverage software architecture as an effective tool for product development... Booktopia
| |||
 The Definitive, Practical, Proven Guide to Architecting Modern... Booktopia
| |||
 This textbook, which has become the leading source for empirical software... Booktopia
| |||
 For almost three decades, Roger Pressman's Software Engineering: A... Booktopia
| |||
 Dieses Buch hat zum Ziel, die Erfolgsquoten von Startups zu erhoehen,... Booktopia
| |||
 This book is concerned with How to provide guidance for small cultural... Booktopia
| |||
 Dieses Fachbuch enthaelt die Grundlagen sowie zahlreiche Anregungen und... Booktopia
| |||
 At some point in your career, you'll realize there's more to being a... Booktopia
| |||
See more at Rewardia