Skip to main content Skip to footer content

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

Marieke Huisman , Anton Wijs

Jul 25, 2023

$131.50

Online pricing. Prices and offers may vary in store.

Ship to me

Checking availability…

Buy now & pick up in store

Checking availability…

Find it in store

Checking availability…

Quantity

Earn 658 points and enjoy extra savings with plum+.

Overview

Language

English

No. of Pages

248

Texts in Computer Science

Publisher: Springer Nature

Shipping dimensions: 9" H x 6" W x 1" L

ISBN: 9783031301667

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

Marieke Huisman Paperback
$94.95
Programming and Mathematical Method: International Summer School

F.l. Bauer Paperback
$160.95
Oracle Application Express for Mobile Web Applications

Roel Hartman Paperback
$65.95
Control Theory Tutorial: Basic Concepts Illustrated by Software Examples

Hardcover
$61.53
Control Theory Tutorial: Basic Concepts Illustrated By Software Examples

Paperback
$47.53
Coding Examples from Simple to Complex: Applications in MATLAB

Paul A. Gagniuc Paperback
$72.95
Beginning Mathematica and Wolfram for Data Science: Applications in Data Analysis, Machine Learning, and Neural Networks

Jalil Villalobos Alva Paperback
$94.95
4 formats available
Algebraic Specifications in Software Engineering: An Introduction

Ivo Van Horebeek Paperback
$80.50
Introduction to the Theory of Programming Languages

Gilles Dowek Paperback
$58.50
2 formats available
MATLAB Programming: Mathematical Problem Solutions

Dingyü Xue Paperback
$105.99
An Introduction To Statistics With Python: With Applications In The Life Sciences

Thomas Haslwanter Hardcover
$145.95
3 formats available
An Introduction to Statistics with Python: With Applications in the Life Sciences

Thomas Haslwanter Hardcover
$118.50
2 formats available
Coding Examples from Simple to Complex: Applications in JavaScript(tm)

Paul A. Gagniuc Paperback
$72.95
The Mathematical-Function Computation Handbook: Programming Using the MathCW Portable Software Library

Nelson H.f. Beebe Paperback
$204.50
High-Performance Parallel Database Processing and Grid Databases

David Taniar Hardcover
$246.95
App Architecture: iOS Application Design Patterns in Swift

Matt Gallagher Paperback
$63.95
Coding Examples from Simple to Complex: Applications in Python(tm)

Paul A. Gagniuc Paperback
$72.95
Programming Elixir ≥ 1.6: Functional |> Concurrent |> Pragmatic |> Fun

Dave Thomas Paperback
$63.95
Pristine Perspectives on Logic, Language and Computation: ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers

Margot Colinet Paperback
$80.50
The Interpretation of Object-Oriented Programming Languages

Iain Craig Paperback
$80.50

Editorial reviews

Author

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

Marieke Huisman Paperback
$94.95
Concise Guide To Object-oriented Programming: An Accessible Approach Using Java

Kingsley Sage Paperback
$55.50
2 formats available
Fundamentals Of Logic And Computation: With Practical Automated Reasoning And Verification

Zhe Hou Hardcover
$94.95
2 formats available
Guide To Efficient Software Design: An Mvc Approach To Concepts, Structures, And Models

David P. Voorhees Hardcover
$124.50
2 formats available
Text Data Management and Analysis: A Practical Introduction to Information Retrieval and Text Mining

ChengXiang Zhai Paperback
$129.71
2 formats available
Guide To Assembly Language: A Concise Introduction

James T. Streib Paperback
$80.50
4 formats available
Mathematical Foundations of Software Engineering: A Practical Guide to Essentials

Gerard O'regan Hardcover
$145.95
2 formats available
Hands-On Differential Privacy: Introduction to the Theory and Practice using OpenDP

Ethan Cowan Paperback
$99.99
2 formats available
Concise Guide To Software Testing

Gerard O'regan Paperback
$80.50
2 formats available
UML Distilled: A Brief Guide to the Standard Object Modeling Language

Martin Fowler Paperback
$62.49
2 formats available
Concise Guide To Databases: A Practical Introduction

Konstantinos Domdouzis Paperback
$72.95
4 formats available
Software Verification and Analysis: An Integrated, Hands-On Approach

Janusz Laski Paperback
$80.50
3 formats available
Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

Nikolai Kosmatov Hardcover
$102.50
2 formats available
Statistics Applied With Excel: Data Analysis Is (not) An Art

Franz Kronthaler Paperback
$131.50
2 formats available
Automated Data Collection with R: A Practical Guide to Web Scraping and Text Mining

Simon Munzert Hardcover
$105.95
2 formats available
Performance Modeling of Operating Systems Using Object-Oriented Simulations: A Practical Introduction

José M. Garrido Paperback
$71.50
Scientific Computing with Python 3: An example-rich, comprehensive guide for all of your Python computational needs

Claus Führer Paperback
$66.99
2 formats available
Data Plane Development Kit (dpdk): A Software Optimization Guide To The User Space-based Network Applications

Heqing Zhu Paperback
$103.95
3 formats available
Introduction To Information Quality

C Fisher Paperback
$27.38
2 formats available
The Python Workbook: A Brief Introduction With Exercises And Solutions

Ben Stephenson Hardcover
$80.50
5 formats available