Automated Technology for Verification and Analysis
Tevfik Bultan, Pao-Ann Hsiung
₹5,652
String Analysis for Software Verification and Security
by Tevfik Bultan, Fang Yu, Abdulbaki Aydin, Muath Alkhalaf
Springer International Publishing AG · 2018 · Hardcover
₹7,014
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
String Analysis for Software Verification and Security is written by Tevfik Bultan, Fang Yu & others. This hardcover edition from Springer International Publishing AG (2018) has 174 pages.
The book deals with Computer science, Software engineering, Programming languages (electronic computers) and Computer security.
Book details
- ISBN-13
- 9783319686684
- ISBN-10
- 3319686682
- Authors
- Tevfik Bultan, Fang Yu, Abdulbaki Aydin, Muath Alkhalaf
- Publisher
- Springer International Publishing AG
- Published
- 2018
- Edition
- 1st ed. 2017
- Binding
- Hardcover
- Pages
- 174
- Language
- English
- Condition
- New
- Subject
- Programming languages
More by Tevfik Bultan and related titles
Oceanographic Analysis with R
Dan E. Kelley
₹4,054
Scala Design Patterns
John Hunt
₹7,214
Learning Perl
Randal L. Schwartz, Brian D. Foy, Tom Phoenix
₹4,113
Eclipse Rich Ajax Platform
Fabian Lange
₹2,050
Software Language Engineering
Anthony Sloane, Uwe Aßmann
₹5,574
Sams Teach Yourself SQL in 10 Minutes
Ben Forta
₹2,384
Functional Programming Languages in Education
Pieter Hartel
₹5,536
From Java to Ruby – Things Every Manager Should Know
Bruce A. Tate
₹4,150
Programming Languages
Manuel Hermenegildo, S. Doaitse Swierstra
₹5,618
Generalized Linear Models with Examples R
Gordon K. Smyth, Peter K. Dunn
₹7,414
Programming Languages
Hugh Glaser, Peter Hartel, Herbert Kuchen
₹5,595