Guide to Software Verification with Frama-C: Core Components, Usages, and Applications - Computer Science Foundations and Applied Logic - - Books - Springer International Publishing AG - 9783031556074 - July 10, 2024
In case cover and title do not match, the title is correct

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

Price
HK$ 585
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 18 - 24

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

726 pages, 52 Illustrations, color; 118 Illustrations, black and white; XXIV, 726 p. 170 illus., 52

Media Books     Hardcover Book   (Book with hard spine and cover)
Released July 10, 2024
ISBN13 9783031556074
Publishers Springer International Publishing AG
Pages 697
Dimensions 243 × 163 × 47 mm   ·   1.22 kg
Language German  
Editor Kosmatov, Nikolai
Editor Prevosto, Virgile
Editor Signoles, Julien

Mere med samme udgiver