Passer au contenu principal Passer au contenu du pied de page

Concise Guide to Software Verification: From Model Checking to Annotation Checking

Marieke Huisman

25 juillet 2023

96,99 $ ~~Réduction sur le prix courant 120,78 $ à~~

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

Acheter le livre numérique

Description

Langue

anglais

Texts in Computer Science

Publié par: Springer International Publishing

ISBN: 9783031301674

Concise Guide to Software Verification: From Model Checking to Annotation Checking

Marieke Huisman Couverture souple
94,95 $
Computer Music Instruments II: Realtime and Object-Oriented Audio

Victor Lazzarini Couverture souple
97,50 $
Computer Music Instruments Ii: Realtime And Object-oriented Audio

Victor Lazzarini Couverture rigide
145,95 $
Adding Amharic To A Unification-based Machine Translation System: An Experiment

Sisay Fissaha Adafre Couverture souple
90,94 $
Introduction to the Theory of Quantum Information Processing

János A. Bergou Couverture souple
109,50 $
Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures

Marco Bernardo Couverture souple
80,50 $
Introduction to Ultra-Wideband Radar Systems

Livre numérique Kobo
684,99 $
The Dbase Book: Developing Windows Applications With Dbase Plus

Ken Mayer Couverture souple
61,88 $
Frontend Development with JavaFX and Kotlin: Build State-of-the-Art Kotlin GUI Applications

Peter Sp Couverture souple
72,95 $
2 formats offerts
Introduction To Algorithms, Third Edition

Thomas H. Cormen Couverture rigide
157,00 $
Frontend Development with JavaFX and Kotlin: Build State-of-the-Art Kotlin GUI Applications

Peter Sp Couverture souple
58,50 $
Introduction to Algorithms, third edition

Thomas H. Cormen Livre numérique Kobo
123,99 $ ~~Réduction sur le prix courant 154,99 $ à~~
Formal Modeling And Analysis Of Timed Systems: 19th International Conference, Formats 2021, Paris, France, August 24-26, 2021, Proceedings

Catalin Dima Couverture souple
80,50 $
2 formats offerts
Android 4.0: New Features for Application Development

Murat Aydin Couverture souple
33,99 $
The Mobile Application Hacker's Handbook

Dominic Chell Couverture souple
75,00 $
2 formats offerts
Formal Methods for Software Engineering: Languages, Methods, Application Domains

Markus Roggenbach Couverture souple
87,95 $
Algebraic Methods in Pattern Recognition: Course held at the Department of Automation and Information, July 1971

Juliusz Kulikowski Couverture souple
71,50 $
Secure Localization and Time Synchronization for Wireless Sensor and Ad Hoc Networks

Radha Poovendran Couverture souple
335,95 $
2 formats offerts
Formal Methods For Software Engineering: Languages, Methods, Application Domains

Markus Roggenbach Couverture rigide
124,50 $
2 formats offerts
Advances in Chance Discovery: Extended Selection from International Workshops

Yukio Ohsawa Couverture souple
160,95 $
2 formats offerts

Évaluation éditoriale

Auteur

Concise Guide to Software Verification: From Model Checking to Annotation Checking

Marieke Huisman Couverture souple
94,95 $
Guide To Efficient Software Design: An Mvc Approach To Concepts, Structures, And Models

David P. Voorhees Couverture rigide
124,50 $
2 formats offerts
Software Verification and Validation: An Engineering and Scientific Approach

Marcus S. Fisher Couverture souple
145,95 $
2 formats offerts
UML Distilled: A Brief Guide to the Standard Object Modeling Language

Martin Fowler Couverture souple
62,49 $
2 formats offerts
Statistics Applied With Excel: Data Analysis Is (not) An Art

Franz Kronthaler Couverture souple
131,50 $
2 formats offerts
Fundamentals Of Logic And Computation: With Practical Automated Reasoning And Verification

Zhe Hou Couverture rigide
94,95 $
2 formats offerts
Concise Guide To Software Testing

Gerard O'regan Couverture souple
80,50 $
2 formats offerts
Data Refinement: Model-Oriented Proof Methods and their Comparison

Willem-paul De Roever Couverture souple
76,95 $
2 formats offerts
A Practical Guide To Sysml: The Systems Modeling Language

Sanford Friedenthal Couverture souple
88,95 $
4 formats offerts
Introduction to Software Process Improvement

Gerard O'regan Couverture souple
58,50 $
2 formats offerts
Data Structures and Algorithms with Python: With an Introduction to Multiprocessing

Kent D. Lee Couverture souple
58,50 $
Statistics Applied with the R Commander: Data Analysis Is (Not) an Art

Franz Kronthaler Couverture souple
160,95 $
2 formats offerts
Software Verification and Analysis: An Integrated, Hands-On Approach

Janusz Laski Couverture souple
80,50 $
3 formats offerts
Concise Guide To Object-oriented Programming: An Accessible Approach Using Java

Kingsley Sage Couverture souple
55,50 $
2 formats offerts
Concise Guide to Numerical Algorithmics: The Foundations and Spirit of Scientific Computing

John Lawrence Nazareth Couverture souple
80,50 $
2 formats offerts
Concurrent Zero-Knowledge: With Additional Background by Oded Goldreich

Alon Rosen Couverture souple
160,95 $
2 formats offerts
Data Plane Development Kit (dpdk): A Software Optimization Guide To The User Space-based Network Applications

Heqing Zhu Couverture souple
103,95 $
3 formats offerts
Introduction to HPC with MPI for Data Science

Frank NIELSEN Couverture souple
72,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
Graph Data Modeling for NoSQL and SQL: Visualize Structure and Meaning

Thomas Frisendal Couverture souple
69,99 $