adicionar à lista de desejos
Model Checking eBook
language: english
Publisher:
THE MIT PRESS, December of 1999 ‧
see product details
198,75€
10% OFF
CARD
VFcwellYUkpSblkzWW5kWGRFMWFWWGxKUlc1VFFtTmhSSEJuVW5nMmNHUm1kbXQ0WlhCeFJtZHJUWEp0VkZoRldVZDJibXgxWm14R2NVb3paakpXVEdKbVoyVjVWMlJ6VG5GYVZXazJkSFJLTUZZMVRUTjZRemxQT0RSMFNucHZOSGhHYTA1V2JWSjRWMUpaVFZWUmJtdERhWFkyYXpkQlRERlpRazFOYVdsV2F6TjJaWGs0VVhaNldVNXBSblpwVjBOWFZWQk1MelJ0Y1hkaVREVjBSbTV6Y2xGamJIVnRUazk2YzBka1VYbE5PVkpXV0V4UVZVUjViemg2YjAxc1dpdFBNVVEwUnpKTloyVmtXalZITkhoUlJDOVRjME5RUkc0ek1sQkxhVTFVZVhCcmVVUXpaMDlRVjNBNFJWWnRiMVpzU2xZeVRtcDZOMUJIY1dGVU5XTXdjMnhaV0VGS1FWQjJaRmh3VkhsNlpVNVJZemRRU21kcVZYQmFhREZaZW1OblFuRk9SVGhzU0hod1JYSmpWWFJQV0dnM1Ftd3ZhVzFZTHpsQmJIQlhWWGszTlU5UlpFMVZkV0pPTTFOMloydEZRVEpJV1dGNFdVZERZamQ0TVZncmRtVk9aa2RMTTFVNVFYcDFjR2R5Ym5KdFEwZFJhRmRMVHpFMU0yOTJWV3M1WlM5bFJucGhOMUU1U1RRNVRsSmljalp0Y25NeEwwOUpZbmhCUlRkRGIwdEdWbmxVWkRkMVExRlBSekJuWTNKUksyUlNTRnB6ZDJRcldGZFRTM2RvUTJGeFJHUkZabXh4UVdGUE0zRkpRWFIyVVRWWlkwOXpSVVY0WlZKTFVWRkllRmRYYTJJeVNWTmpkbXRuVjFweWJqSjNVVXh5YjNWWFMyeDJNM0FyT1haNFdWbFNaMFZ3ZW1VeldrUklNSHBVZGtSd1NqUnBkakZDVjBVMlprWk9jVTVJTkZaeUswOUVhRnB0TlVOREwwWnNTbGR6VFUxME9FTXlNekpLVFc1WE5ua3phMUI1TVc5b1VXTnRNRGwyYVhoQmFFOUxjVGx0TDJSU1NHTTJOMGhOU21oS2FYcFlUV05zWTJrM2EzZHNWM1JKYW5sNWFXMWlNV1JPY21sUmJWY3ljVGR3ZWtKMGN5OVRNRFpIUVV0elJtVTJWa0ppZG5ob1FscElWRlkzUlhKMk9YcExRMlJpWlU5T1VEQnJkM2wwVGs4eVJUbFZaQ3N5VUdseE5VUnBlbk5sVGpkV2JUWkpWR3R3WkdKWk4xUkJXREZEVm1oSldYZDRWRVZrYUdGQ09WSnROa052UFE9PTpvc0pyYWRBYjFYajQyUnV6MWlyczZnPT0=
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
-
10%Information-Driven Planning And ControlMIT PRESS LTD97,34€ 10% CARDfree shipping
-
Neuroscience And PhilosophyMIT PRESS LTD79,83€free shipping
-
Fundamental Models In Financial TheoryMIT PRESS LTD10,80€
-
Model CheckingMIT PRESS LTD83,82€