Doron A. Peled – författare
Visar alla böcker från författaren Doron A. Peled. Handla med fri frakt och snabb leverans.
17 produkter
Software Reliability Methods
Inbunden, 2001
568 kr
Lägg i varukorg
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 reliability problem. This book presents a wider picture of formal methods, through a collection of …
Software Reliability Methods
Häftad, 2011
568 kr
Lägg i varukorg
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 reliability problem. This book presents a wider picture of formal methods, through a collection of …
Software Reliability Methods
E-bok, 2013
739 kr
Lägg i varukorg
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 reliability problem. This book presents a wider picture of formal methods, through a collection of …
Formal Techniques for Networked and Distributed Systems - FORTE 2002
22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings
Av Doron A. Peled, Moshe Y. Vardi
Häftad, 2002
566 kr
Lägg i varukorg
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. This annual conference provides a forum for researchers and practitioners from universities and …
Computer Aided Verification
16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
Av Rajeev Alur, Doron A. Peled
Häftad, 2004
1126 kr
Lägg i varukorg
ThisvolumecontainstheproceedingsoftheconferenceonComputer AidedVe- ?cation, CAV 2004,held in Boston,Massachusetts,USA, July13-17,2004.CAV 2004 was the 16th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for software …
Computer Aided Verification
16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
Av Doron A. Peled, Rajeev Alur
E-bok, 2004
1502 kr
Lägg i varukorg
Automated Technology for Verification and Analysis
Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
Av Doron A. Peled, Yih-Kuen Tsay
Häftad, 2005
566 kr
Lägg i varukorg
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 industry, particularly hardware design and manufacturing in East Asia. Its purpose is to promote …
Automated Technology for Verification and Analysis
Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
Av Yih-Kuen Tsay, Doron A. Peled
E-bok, 2005
734 kr
Lägg i varukorg
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 industry, particularly hardware design and manufacturing in East Asia. Its purpose is to promote …
Formal Techniques for Networked and Distributed Systems - FORTE 2002
22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings
Av Moshe Y. Vardi, Doron A. Peled
E-bok, 2003
755 kr
Lägg i varukorg
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. This annual conference provides a forum for researchers and practitioners from universities and …
Verification, Model Checking, and Abstract Interpretation
9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
Av Francesco Logozzo, Doron A. Peled m. fl.
Häftad, 2008
566 kr
Lägg i varukorg
th This volumecontains the proceedingsof the 9 internationalconference onV- i?cation, Model Checking, and Abstract Interpretation (VMCAI 2008), held in San Francisco, January 7-9, 2008. The purpose of VMCAI is to provide a forum for researchers from three communities-Veri?cation, Model Checking, …
Verification, Model Checking, and Abstract Interpretation
9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
Av Leonore D. Zuck, Doron A. Peled m. fl.
E-bok, 2008
755 kr
Lägg i varukorg
Model Checking and Artificial Intelligence
5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers
Av Doron A. Peled, Michael Wooldridge
Häftad, 2009
566 kr
Lägg i varukorg
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 satellite event of ECAI 2008, the 18th biannual European conference on Artificial Intelligence. The 9 …
Model Checking and Artificial Intelligence
5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers
Av Michael Wooldridge, Doron A. Peled
E-bok, 2009
739 kr
Lägg i varukorg
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 satellite event of ECAI 2008, the 18th biannual European conference on Artificial Intelligence. The 9 …
Runtime Verification
9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers
Av Saddek Bensalem, Doron A. Peled
Häftad, 2009
566 kr
Lägg i varukorg
The RV series of workshops brings together researchers from academia and - dustry that are interested in runtime veri?cation. The goal of the RV workshops is to study the ability to apply lightweight formal veri?cation during the exe- tion of programs. This approach complements the o?ine use of …
Runtime Verification
9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers
Av Doron A. Peled, Saddek Bensalem
E-bok, 2009
755 kr
Lägg i varukorg
Time for Verification
Essays in Memory of Amir Pnueli
Av Doron A. Peled, Zohar Manna
E-bok, 2010
1360 kr
Lägg i varukorg
