adicionar à lista de desejos
Model Checking eBook
language: english
Publisher:
THE MIT PRESS, December of 1999 ‧
see product details
198,75€
10% OFF
CARD
SzNwRldrUmlVek01VVZoWFNYTktWa2hGT1hSVlQzSnZWamRrVkM5Q1IyaFVaM1ZZVUhkQmQyNXlZVTVQUmxSdlptdExSSFZpZG14Q1NtNHdSbXhISzNac1NWUjVXRVZLV1ZVNU16SlhUWGxKVFUxRmFGQXdSa3RhV1dOM1UwZHZOV2wzTlhocE1XWm9WMGRCVURkdWJXcHZTa1VyU25WTGNIWnJiMDlPVnk5Q2VXUXdaSHBTYWpabFR6RTBUbXRYTnpGTVdIcEZMMHMwYXpSeFFuZDRXSE5wVkhCelVWUXlNa3hvTlVkcmRpdDZNR3RKTW5WbVl5OUlSa0ZVTkVOM0sxTnNOWHBVZWtoa1prVjVkV05qUVV0MWVURTRNV1kyWXpKRFRGRjFNa3BSTjIxbVJWaFBjVFJIU0ZaUU9FdzNaMUpLUzJaRlRqUkZjSFFyWXpZM09GbEdaa0ZxYW1FeE0wNTBlRE5yU2xCcU1uRk5Wa3h6T0RGV01HSnRhRkpZYkVKV2JIaG1ja1pJUVN0MVJuUjBjR1ZTUW5sQ1ZuSmxaSEZFWTB0T1VETnVPSEppVG1oeVN6TmlRbGR2V1VrMmFuRnNaRFpKVkRaV2JucHRkWGx5Ym0xcE5FVjFiV2RxVDFGRFJsSnllSHBvZGxsWU1UTmhkVmhJVTFFNE1UVldOVE5DUjBGRVNWTTFiRVZaTnl0MVprSXJaME41VDFFcll6SnRRbFpVTWl0WE5VWkNRMWx3YzB4M1UwZEROVzFSYVdOWlpIQjNMMmg0YnpnMFRHSk5jVFF2YlVVd1dFRmxUVFl4TkhjNVJHbFBObVZqYXpkbGVFRnZVSFpRZW1sUlZUa3pMMk5TTUZWS0wzZHVUelF2WTBkU1JsUlVSbkZwT1dzelNYVjVZbVZvWTI1VWN6Z3ZjRXBPTUVWc1FqaG5ZVGxUU2pCM1l6aHdWMmQwYlhSQ2RGTlVUVlZXU1dsaFREUm5Ua3dyTVM4MGVYZERSRUkxYVRoNlNEWnlPRlZuUjNrMWFIUkxWR1pZUldwclNXbDNja05DZG1KWk1XWXZOQzlDVlRnMFMxUkhlbkF3UTNsVU9GVjVjbVoxV2pCcVYxWjFjMHhoZEVKRmFuaEVRMHhrT1VobllrTldPVU5xVFZoUE5XRnFZbXAyZG5GelNUQmlWazVPWW5acWJURkpiRnB1ZEcxVmJFeExOR3hYU1ZwMWJtaEZiRzlpY20xRVFWaFplV1pSTmtwc1lVaDFWRloyWm5KcFVscGhSVTVaYWxFeGN5OXJSbEJMVFRKTlZYaHhZMWhSWTBKdUsxZDZWRXBGUFE9PTp0MEViYjhiL0x4YllFN3FEdGJXQzBnPT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
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.
DETAILS
| 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 |
BOOKS FROM THE SAME COLLECTION
-
Information-Driven Planning And Control10%MIT PRESS LTD97,34€ 10% CARDfree shipping
-
Neuroscience And PhilosophyMIT PRESS LTD79,83€free shipping