Tracked shipping to New Zealand with premium packaging for just NZ$15 

Ship to
New Zealand
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Concise Guide to Software Verification: From Model Checking to Annotation Checking
Type
Physical Book
Author
Publisher
Language
English
Pages
248
Format
Hardcover
Dimensions
23.6 x 15.6 x 1.8 cm
Weight
0.59 kg.
ISBN13
9783031301667
Edition No.
1
Categories

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

Marieke Huisman (Author) · Anton Wijs (Author) · Springer · Hardcover

Concise Guide to Software Verification: From Model Checking to Annotation Checking - Huisman, Marieke ; Wijs, Anton

Cheaper New Book Imported to New Zealand
Delivery: 27 Jul - 07 Aug Shipping: 20 to 25 business days.
NZ$ 190.30
Faster New Book Imported to New Zealand
Delivery: 15 Jul - 22 Jul Shipping: 12 to 13 business days.
NZ$ 216.52
Import costs and 15% GST included in the price ✅
NZ$ 190.30

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

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

This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on techniques whereby the user has some control over the properties that are being checked. More specifically, it shows a wide range of techniques covering the whole spectrum: from abstract system design to implementation, from bug finding to full proofs, and from techniques that are push-button by design and give a yes/no answer to techniques that require the user to provide explicit guidance to steer the analysis process.Topics and features: Covers a broad spectrum of software verification techniques, from model checking to annotation checkingProvides numerous examples to demonstrate the techniquesFocuses on how techniques can be used (and the main ideas behind how they work), as opposed to how they are implementedExplainsstrengths and weaknesses of the techniques, providing insight into when to use which technique in practiceThis unique textbook has been written primarily for master's level students in computer science studying embedded systems and specializing in software technology. The book will also be of interest for students studying cyber security and data science technology, as well as for system or software developers interested in techniques that offer formal guarantees about software.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Hardcover.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews