Skip to content
Free delivery across IndiaCash on delivery
BooksBajar
Cover of Model Checking, second edition

Model Checking, second edition

by Orna Grumberg, Daniel Kroening, Edmund M. Clarke, Doron Peled, Helmut Veith

The MIT Press · 2018 · Hardcover

₹4,198

Free delivery. Nothing extra to pay at checkout.

  • Delivery in 3–7 days to any serviceable pincode in India, with tracking.
  • Cash on delivery. Pay when the parcel reaches you.
  • 15-day returns. See what qualifies.

About this book

Published by The MIT Press in 2018, Model Checking, second edition by Orna Grumberg, Daniel Kroening & others runs to 424 pages in hardcover.

Topics covered include Datenverarbeitungssystem, Computersystemen, Engenharia de software and Modellen.

Book details

ISBN-13
9780262038836
ISBN-10
0262038838
Authors
Orna Grumberg, Daniel Kroening, Edmund M. Clarke, Doron Peled, Helmut Veith
Publisher
The MIT Press
Published
2018
Edition
2
Binding
Hardcover
Pages
424
Language
English
Condition
New
Subject
Computers & Internet

More by Orna Grumberg and related titles

See all