Passer au contenu principal Passer au contenu du pied de page

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

Édition : Nikolai Kosmatov

10 juillet 2024

78,99 $ ~~Réduction sur le prix courant 98,13 $ à~~

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

Acheter le livre numérique

Description

Langue

anglais

Computer Science Foundations and Applied Logic

Publié par: Springer International Publishing

ISBN: 9783031556081

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

nikolai kosmatov

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