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...| $19875 |  | |
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
| |||
 This book examines the pedagogical encounters within children's ecological... Booktopia
| |||
 Physicochemical mechanics is a self-contained theoretical framework that can... Booktopia
| |||
 Full Length, Comedy Characters: 9 male, 5 female, plus various minor... Booktopia
| |||
 An enchanting exploration of the creative inspiration of the Bloomsbury Set... Booktopia
| |||
 The First New Translation in Forty Years The First New... Booktopia
| |||
 No work in modern literature, with the possible exception of Uncle... Booktopia
| |||
 At some point in your career, you'll realize there's more to being a... Booktopia
| |||
 This custom edition is published for the University of Southern... Booktopia
| |||
 Software evolution is a time-consuming and costly process due to its complex... Booktopia
| |||
 The importance of architecture for software systems is widely accepted, but... Booktopia
| |||
 Unlock your full potential as an effective, efficient, and inspiring leader,... Booktopia
| |||
 The two open access volumes LNCS 14574 and 14575... Booktopia
| |||
 The book reports state of the art results in Software Engineering... Booktopia
| |||
 How will software development and operations have to change to meet the... Booktopia
| |||
 Build and maintain effective, collaborative, and motivated software... Booktopia
| |||
 Dieses Buch hat zum Ziel, die Erfolgsquoten von Startups zu erhoehen,... Booktopia
| |||
 Software-Defined Networks (SDN) work by virtualization of the... Booktopia
| |||
 Harness the Power of the Multi-Dimensional Coupling Model as a Tool... Booktopia
| |||
 The play element at the heart of our interactions with computers--and how... Booktopia
| |||
 The Definitive, Practical, Proven Guide to Architecting Modern... Booktopia
| |||
 The management of a software project has been shown to be the number one... Booktopia
| |||
 ?Das Lehrbuch befasst sich mit Fehlern in der Software: Wie kann man... Booktopia
| |||
 The eighth edition continues to acknowledge and emphasize the essential... Booktopia
| |||
 For almost three decades, Roger Pressman's Software Engineering: A... Booktopia
| |||
 Are you working on a codebase where cost overruns, death marches, and... Booktopia
| |||
 For almost four decades, Software Engineering: A Practitioner's... Booktopia
| |||
 This updated and reorganized fourth edition of Software Testing: A... Booktopia
| |||
 This book explains how to embed artificial intelligence in digitized... Booktopia
| |||
 *This set includes The Essentials of WISC-V Assessment packaged... Booktopia
| |||
 Good practices, collaboration tools, and effective techniques for... Booktopia
| |||
 Integrating case studies to show the object oriented approach to software... Booktopia
| |||
 Learn the principles of good software design, and how to turn those... Booktopia
| |||
 Understand the fundamental practices of modern software engineering.... Booktopia
| |||
 This book constitutes the refereed proceedings of the 16th Software... Booktopia
| |||
 Learn how to create successful architectural designs and improve your... Booktopia
| |||
 This book provides a comprehensive, empirically grounded exploration of how... Booktopia
| |||
 Leverage software architecture as an effective tool for product development... Booktopia
| |||
See more at Rewardia