Guide to Software Verification with Frama-C: Core Components, Usages, and Applications (Computer Science Foundations and Applied Logic)

(74 reviews)

Availability: In Stock

Category: Software Design & Engineering

$38.69 $46.43

Quantity

RELATED PRODUCTS

Hardware Verification with C++: A Practitioners Handbook

$55.3

(5)

SystemVerilog for Verification: A Guide to Learning the Testbench Language Features

$7.99

(1)

Verification and Validation in Scientific Computing

$9.95

(99)

Python for RTL Verification: A complete course in Python, cocotb, and pyuvm

$9.99

(228)

Python for RTL Verification: A complete course in Python, cocotb, and pyuvm

$9.99

(20)

Schematron: A language for validating XML

$20.37

(75)

Formal Verification: An Essential Toolkit for Modern VLSI Design

$0.99

(52)

Formal Verification: An Essential Toolkit for Modern VLSI Design

$45.74

(1)

Practical C: A comprehensive guide to the C programming language

$50.15

(157)

Program Proofs

$25

(21)

LPI Linux Certification in a Nutshell: A Desktop Quick Reference (In a Nutshell (O'Reilly))

$1.9

(9)

CompTIA Linux+ Certification Kit: Exam XK0-005

$71.26

(44)

Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models

$42.06

(49)

The Languages of Logic: An Introduction to Formal Logic

$122.46

(2)

Code Complete: A Practical Handbook of Software Construction, Second Edition

$25.64

(182)

Linux+ and LPIC-1 Guide to Linux Certification (MindTap Course List)

$30

(81)

x86 Software Reverse-Engineering, Cracking, and Counter-Measures (Tech Today)

$27.71

(309)

x86 Software Reverse-Engineering, Cracking, and Counter-Measures (Tech Today)

$22.89

(69)

The Tcl Programming Language: A Comprehensive Guide

$43.27

(67)

Principles of Program Analysis

$15.95

(138)

Principles of Program Analysis

$13.79

(53)

Structure and Interpretation of Computer Programs - 2nd Edition (MIT Electrical Engineering and Computer Science)

$7.99

(3406)

CSSLP Certified Secure Software Lifecycle Professional All-in-One Exam Guide, Third Edition

$35.99

(12)

Programming Languages: Build, Prove, and Compare

$19.91

(1461)

Software Testing: A Craftsman’s Approach, Fourth Edition

$18.99

(1)

CNC Programming Handbook, Third Edition (Volume 1)

$29.32

(720)

Models of Computation: An Introduction to Computability Theory (Undergraduate Topics in Computer Science)

$34.45

(7)

The AWK Programming Language (Addison-Wesley Professional Computing Series)

$64.99

(156)

The AWK Programming Language (Addison-Wesley Professional Computing Series)

$0.99

(3)

Structure and Interpretation of Computer Programs, Second Edition

$7.99

(8)

The C Programming Language

$28.39

(76)

CompTIA Linux+ (Plus) Certification: The Ultimate Study Guide to Ace the Exam

$42.84

(55)

Common LISP: A Gentle Introduction to Symbolic Computation (Dover Books on Engineering)

$10.99

(1609)

Common LISP: A Gentle Introduction to Symbolic Computation (Dover Books on Engineering)

$73.24

(44)

C Programming: A Modern Approach, 2nd Edition

$20.99

(225)

Cracking System Design: A Comprehensive Guide to Building Scalable and Reliable Systems (Architect's Guide Book 1)

$4.99

(49)

Specifying Software: A Hands-On Introduction

$31

(1)

Linux LPIC-1 Certification Practice Exams: The Complete Collection of Questions and Answers for Exams 101-500 and 102-500

$19.95

(2)

Rust Programming for Security: Master Techniques to Build Safe and Reliable Software (Computer Programming Books 2024)

$9.95

(2008)

A Mathematical Introduction to Logic

$14.95

(5)

The Linux Command Line, 2nd Edition: A Complete Introduction

$37.99

(1113)

The Linux Command Line, 2nd Edition: A Complete Introduction

$3.99

(984)

CompTIA Linux+ Practice Tests: Exam XK0-005

$39.35

(6)

CompTIA Linux+ Practice Tests: Exam XK0-005

$3.99

(1)

CompTIA Linux+ Certification All-in-One Exam Guide: Exam XK0-004

$36

(107)

CompTia Linux+ (XK0-005) Certification Exam Practice Tests: Essential Preparation With Over 300 Q&A for the CompTIA Linux+ (XK0-005) Certification

$44.99

(6)

Red Hat Enterprise Linux 9 Administration: A comprehensive Linux system administration guide for RHCSA certification exam candidates, 2nd Edition

$28.99

(14)

The Denotational Description of Programming Languages: An Introduction

$50.92

(26)

The Mathematical Analysis of Logic

$6.25

(55)

The Elements of Computing Systems, second edition: Building a Modern Computer from First Principles

$21.49

(807)

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

$43.99

(53)

CompTIA Linux+ Certification All-in-One Exam Guide, Second Edition (Exam XK0-005)

$42.84

(55)

CompTIA Linux+ Certification All-in-One Exam Guide, Second Edition (Exam XK0-005)

$19.95

(2)

(ISC)2 CISSP Certified Information Systems Security Professional Official Practice Tests

$39.6

(222)

(ISC)2 CISSP Certified Information Systems Security Professional Official Practice Tests

$25

(55)

RHCSA Red Hat Certified System Administrator: Linux Certification Study Guide to Pass Exam

$44.99

(76)

The Rust Programming Language, 2nd Edition

$23.89

(2520)

Program Evaluation: An Introduction to an Evidence-Based Approach

$86.49

(231)

Red Hat Enterprise Linux 9 Administration - Second Edition: A comprehensive Linux system administration guide for RHCSA certification exam candidates

$0.99

(242)

A Concise Introduction to Logic

$77.49

(334)