String Analysis for Software Verification and Security
Tevfik Bultan, Fang Yu, Abdulbaki Aydin, Muath Alkhalaf
₹7,014
Automated Technology for Verification and Analysis
9th International Symposium
by Tevfik Bultan, Pao-Ann Hsiung
Springer · 2011
₹5,652
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Automated Technology for Verification and Analysis: 9th International Symposium by Tevfik Bultan & Pao-Ann Hsiung is a 532-page book published by Springer in 2011.
Topics covered include Congresses, Automatic theorem proving, Logics and Meanings of Programs and Computer Communication Networks.
Book details
- ISBN-13
- 9783642243714
- ISBN-10
- 3642243711
- Authors
- Tevfik Bultan, Pao-Ann Hsiung
- Publisher
- Springer
- Published
- 2011
- Pages
- 532
- Language
- English
- Condition
- New
More by Tevfik Bultan and related titles
Decentralized Reasoning in Ambient Intelligence
Markus Endler, Jose Viterbo
₹3,528
Software Engineering Research and Applications
Walter Dosch, Roger Y. Lee, Chisu Wu
₹5,514
Formal Methods and Software Engineering
Shengchao Qin
₹4,329
Localized Quality of Service Routing for the Internet
Zhi-li Zhang, Srihari Nelakuditi
₹4,311
Quality of Protection
Dieter Gollmann, Fabio Massacci, Artsiom Yautsiukhin
₹5,420
Computer Networking
James F. Kurose, Keith W. Ross
₹5,922
Security-Aware Cooperation in Cognitive Radio Networks
Jon W. Mark, Ning Zhang
₹3,784
Location Privacy Preservation in Cognitive Radio Networks
Wei Wang, Qian Zhang
₹4,221
Immunity-Based Systems
Yoshiteru Ishida
₹7,727
Ethics and Technology
Herman T. Tavani
₹3,305
Access Control Systems
Messaoud Benantar
₹5,439