8 Ebook di Doron A. Peled
Doron A. Peled: Software Reliability Methods
Many books focus on increasing the quality of software through the use of formal methods. However, most books embrace one particular method, and present it as the suggested solution for the software …
PDF
Inglese
DRM
€57.76
Doron A. Peled & Yih-Kuen Tsay: Automated Technology for Verification and Analysis
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal veri?cation spurred by the booming IT ind …
PDF
Inglese
DRM
€57.76
Doron A. Peled & Moshe Y. Vardi: Formal Techniques for Networked and Distributed Systems – FORTE 2002
The IFIP TC6 WG 6.1 Joint International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, was held this year at Rice University, Houston, Texas, on November 11-14. Th …
PDF
Inglese
DRM
€58.04
Francesco Logozzo & Doron A. Peled: Verification, Model Checking, and Abstract Interpretation
…
PDF
Inglese
DRM
€57.35
Doron A. Peled & Michael Wooldridge: Model Checking and Artificial Intelligence
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model Checking and Artificial Intelligence, MOCHART 2008, held in Patras, Greece, in July 2008 as a sate …
PDF
Inglese
DRM
€57.76
