10% OFF

Model Checking eBook

by Doron Peleg, Edmund M. Clarke Jr. e Orna Grumberg
language: english
Publisher: THE MIT PRESS, December of 1999 ‧
198,75€
10% OFF CARD
IMMEDIATE AVAILABILITY
Ebook for ADE
This presentation of the theory and practice of model checking includes basic as well as state-of-the-art techniques, algorithms and tools, and can be used as an introduction to the subject or a reference for researchers.

Model Checking

by Doron Peleg, Edmund M. Clarke Jr. e Orna Grumberg

Property Description
ISBN: 9780262270458
Publisher: THE MIT PRESS
Release Date: December of 1999
Language: English
Format: eBook
File Format and Compatibility: PDF para ADE
Collection: Cyber Physical Systems Series
Categories: eBooks in English > Computing > Image Editing
EAN: 9780262270458