Capa do artigo Model Checking

Model Checking

by Doron Peleg, Edmund M. Clarke (Carnegie Mellon University) Jr. e Orna (Technion) Grumberg
language: english
Publisher: MIT PRESS LTD, December of 1999 ‧
OUT OF STOCK OR NOT AVAILABLE
Sell ​​your book
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 (Carnegie Mellon University) Jr. e Orna (Technion) Grumberg

Property Description
ISBN: 9780262032704
Publisher: MIT PRESS LTD
Release Date: December of 1999
Language: English
Cover: Hardcover
Pages: 330
Format: Book
Categories: Books in English > Computing > Schedule
Books in English > Computing > Image Editing
EAN: 9780262032704

DORON PELEG

SEE MORE TITLES BY THIS AUTHOR

EDMUND M. CLARKE (CARNEGIE MELLON UNIVERSITY) JR.

SEE MORE TITLES BY THIS AUTHOR

ORNA (TECHNION) GRUMBERG

SEE MORE TITLES BY THIS AUTHOR