Passer au contenu principal Passer au contenu du pied de page

Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

Nikolai Kosmatov Édition : Virgile Prevosto , Julien Signoles

10 juillet 2024

102,50 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 513 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

697

Computer Science Foundations and Applied Logic

Publié par: Springer Nature

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9783031556074

Wireless Rechargeable Sensor Networks for Internet of Things: Theories and Technical Paradigms

Chi Lin Couverture rigide
291,95 $
Ready-made Visual Foxpro Applications For File Maintenance: Source Code

Emilio Aleu Couverture souple
18,44 $
Lab Manual for CompTIA A+ Guide to Information Technology Technical Support

Jean Andrews Couverture souple
172,95 $
3 formats offerts
Icicct 2019 - System Reliability, Quality Control, Safety, Maintenance And Management: Applications To Electrical, Electronics And Computer Science And Engineering

Vinit Kumar Gunjan Couverture souple
248,50 $
2 formats offerts
Self-paced Training Kit (exam 70-640) Configuring Windows Server 2008 Active Directory (mcts): Configuring Windows Server 2008 Active Directory (2nd Edition)

Dan Holme Couverture souple
86,99 $
Architecture of Advanced Numerical Analysis Systems: Designing a Scientific Computing System using OCaml

Liang Wang Couverture souple
72,95 $
2 formats offerts
Intelligent Systems and Human Machine Collaboration: Select Proceedings of ICISHMC 2022

Siddhartha Bhattacharyya Couverture souple
291,95 $
Latency Optimization in Interactive Multimedia Streaming

Zili Meng Couverture souple
80,50 $
2 formats offerts
Latency Optimization in Interactive Multimedia Streaming

Zili Meng Couverture souple
80,50 $
2 formats offerts
Building Offline Applications With Angular: Develop Reliable, Performant Web Applications For Desktop And Mobile Platfor: Develop Reliable, Per

Venkata Keerti Kotaru Couverture souple
52,50 $
2 formats offerts
Technical Writing Process: Master the Art of Technical Communication with Timeless Techniques and Modern Tools

Kieran Morgan Couverture souple
54,24 $
Microsoft Azure Administrator Exam Prep (AZ-104): Make Your Career with Microsoft Azure Platform Using Azure Administered Exam Prep (English Edition)

Lalit Rawat Livre numérique Kobo
16,99 $ ~~Réduction sur le prix courant 20,48 $ à~~
Microsoft Azure Administrator Exam Prep (AZ-104): Make Your Career with Microsoft Azure Platform Using Azure Administered Exam Prep (English Edition)

Lalit Rawat Couverture souple
41,99 $
Microsoft Azure Administrator Exam Prep (AZ-104): Make Your Career with Microsoft Azure Platform Using Azure Administered Exam Prep (English Edition)

Lalit Rawat Livre numérique Kobo
20,99 $
Architectural Patterns and Techniques for Developing IoT Solutions: Build IoT applications using digital twins, gateways, rule engines, AI/ML integration, and related patterns

Jasbir Singh Dhaliwal Couverture souple
56,99 $
2 formats offerts
Mastering Tableau 2019.1 - Second Edition: An Expert Guide To Implementing Advanced Business Intelligence And Analytics With Tableau 2019.1

Marleen Meier Couverture souple
59,99 $
2 formats offerts
Heterogeneous Wireless Networks

Bin Xie Couverture souple
95,50 $
Architectural Intelligence: Selected Papers from the 1st International Conference on Computational Design and Robotic Fabrication (CDRF 2019)

Philip F. Yuan Couverture rigide
248,50 $
2 formats offerts
Mcsa 70-687 Cert Guide: Configuring Microsoft Windows 8.1

Don Poulton Couverture rigide
68,99 $
2 formats offerts
Programming Fundamentals Using JAVA: A Game Application Approach

WILLIAM McAllister Couverture souple
145,95 $
4 formats offerts

Évaluation éditoriale

virgile prevosto

Auteur

Fundamentals Of Logic And Computation: With Practical Automated Reasoning And Verification

Zhe Hou Couverture rigide
94,95 $
2 formats offerts
Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques

Vytautas Å Tuikys Couverture souple
160,95 $
3 formats offerts
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement

Manfred Broy Couverture souple
80,50 $
2 formats offerts
Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

Nikolai Kosmatov Couverture souple
58,50 $
Advanced Model-based Engineering Of Embedded Systems: Extensions Of The Spes 2020 Methodology

Klaus Pohl Couverture souple
80,50 $
2 formats offerts
Encyclopedia of Computer Science and Technology: Volume 38 - Supplement 23: Algorithms for Designing Multimedia Storage Servers to Models and Architectures

Allen Kent Couverture souple
81,50 $
3 formats offerts
Concise Guide To Computing Foundations: Core Concepts And Select Scientific Applications

Kevin Brewer Couverture souple
72,95 $
3 formats offerts
Guide To Efficient Software Design: An Mvc Approach To Concepts, Structures, And Models

David P. Voorhees Couverture rigide
124,50 $
2 formats offerts
Structural Decision Diagrams in Digital Test: Theory and Applications

Raimund Ubar Couverture rigide
364,95 $
2 formats offerts
Guide To Discrete Mathematics: An Accessible Introduction To The History, Theory, Logic And Applications

Gerard O'regan Couverture souple
87,95 $
6 formats offerts
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification

Zhe Hou Couverture souple
94,95 $
Optimized Bayesian Dynamic Advising: Theory And Algorithms

Couverture souple
220,95 $
2 formats offerts
Principles of VLSI System Planning: A Framework for Conceptual Design

Allen M Dewey Couverture souple
220,95 $
2 formats offerts
Ontological Engineering: With Examples From The Areas Of Knowledge Management, E-commerce And The Semantic Web.

Asunci Gómez-p Couverture souple
248,50 $
2 formats offerts
Foundations of Coding: Theory and Applications of Error-Correcting Codes with an Introduction to Cryptography and Information Theory

Jiri Adamek Couverture rigide
336,95 $
Real-time Unix Systems: Design and Application Guide

Borko Furht Couverture souple
246,95 $
2 formats offerts
A Textbook of Data Structures and Algorithms, Volume 3: Mastering Advanced Data Structures and Algorithm Design Strategies

G. A. Vijayalakshmi Pai Couverture rigide
198,00 $
2 formats offerts
Architecture of Advanced Numerical Analysis Systems: Designing a Scientific Computing System using OCaml

Liang Wang Couverture souple
72,95 $
2 formats offerts
Learn Computer Science with Swift: Computation Concepts, Programming Paradigms, Data Management, and Modern Component Architectures with Swift and Playgrounds

Jesse Feiler Couverture souple
43,95 $
2 formats offerts
Retargetable Compilers for Embedded Core Processors: Methods and Experiences in Industrial Applications

Clifford Liem Couverture souple
160,95 $
3 formats offerts