Price Comparison for Indian Stores
Gift cards @ 3% Off Coupons Deals Tatkal Booking Extension Careers at Buyhatke
Mobile App App
Chrome Extension

Automated Technology for Verification and Analysis 11th International Symposium Atva 2013 Hanoi Vietnam October 15-18 2013 Proceedings - 9783319024431

N/A
₹7483
See all Prices
See Price Trend

About the Book :

  • Language : English
  • Binding : Paperback
  • Contributors : Olga Brukman, Shlomi Dolev

Automated Technology for Verification and Analysis 11th International Symposium Atva 2013 Hanoi Vietnam October 15-18 2013 Proceedings Details :

DETAILS

  • Language : English
  • Binding : Paperback
  • Contributors : Olga Brukman, Shlomi Dolev
Read The Full Specification

Automated Technology for Verification and Analysis 11th International Symposium Atva 2013 Hanoi Vietnam October 15-18 2013 Proceedings Price History

  • The best price for Automated Technology for Verification and Analysis 11th International Symposium Atva 2013 Hanoi Vietnam October 15-18 2013 Proceedings in India is Rs. as per December 19, 2024, 8:18 am
  • You save NAN% by purchasing it at for over which sells it for
  • The prices for is valid in all major cities of India including Bangalore, Delhi, Hyderabad, Chennai, Mumbai, Kolkata and Pune. Please check instructions at the specific stores for any deviation.
  • All prices mentioned above are in INR

Automated Technology for Verification and Analysis 11th International Symposium Atva 2013 Hanoi Vietnam October 15-18 2013 Proceedings Related Books :

Comdex NET 4 0 Programming Course Kit Covering NET Framework 4 0 Vb 2010 C 2010 And Asp NET 4 0 With CD
Comdex NET 4 0 Programming Course Kit Covering NET Framework 4 0 Vb 2010 C 2010 And Asp NET 4 0 With CD
₹338 onwards
  • Vikas Gupta
How To Design Programs An Introduction To Programming And Computing 1st Edition
How To Design Programs An Introduction To Programming And Computing 1st Edition
₹345 onwards
  • Krishnamurthi Shriram, Flatt Matthew, Findler Robert Bruce, Felleisen Matthias
LabVIEW Advanced Programming Techniques With CDROM 0002 Edition
LabVIEW Advanced Programming Techniques With CDROM 0002 Edition
₹600 onwards
  • Taqi Mohiuddin, Matthew R. Nawrocki, Rick Bitter
Android Application Development for Java Programmers
Android Application Development for Java Programmers
₹1883 onwards
  • James Sheusi
PSP SM Self-Improvement Software Engin 1st Edition
PSP SM Self-Improvement Software Engin 1st Edition
₹800 onwards
  • Humphrey Watts
Scratch Programming for Teens With CDROM
Scratch Programming for Teens With CDROM
₹2766 onwards
  • Ford Jerry Lee Jr.
CMMI for Development Guidelines for Process Integration and Product Improvement 0003 Edition
CMMI for Development Guidelines for Process Integration and Product Improvement 0003 Edition
₹800 onwards
  • Sandy Shrum, Mary Beth Chrissis, Mike Konrad
An Introduction To Cryptography With Java Applets HRD Edition
An Introduction To Cryptography With Java Applets HRD Edition
₹4632 onwards
  • David Bishop
Teach Yourself Auto CAD 2007 2nd Edition
Teach Yourself Auto CAD 2007 2nd Edition
₹800 onwards
  • Mac Bride
A Short Course in Computational Science and Engineering
A Short Course in Computational Science and Engineering
₹4049 onwards
  • David Yevick
CMMI for Services Guidelines for Superior Service 0002 Edition
CMMI for Services Guidelines for Superior Service 0002 Edition
₹3000 onwards
  • Brandon L. Buteau, Sandy Shrum, Eileen C. Forrester
Mathematical Theory of Computation
Mathematical Theory of Computation
₹1225 onwards
  • Zohar Manna
Software Development Fundamentals Exam 98-361
Software Development Fundamentals Exam 98-361
₹4462.16 onwards
  • Roger Lewin
The Apache Modules Book Application Development with Apache
The Apache Modules Book Application Development with Apache
₹3959 onwards
  • Nick Kew
Microsoft NET Architecting Applications for the Enterprise
Microsoft NET Architecting Applications for the Enterprise
₹2004 onwards
  • Dino Esposito, Andrea Saltarello
12 Essential Skills for Software Architects
12 Essential Skills for Software Architects
₹2572 onwards
  • Dave Hendricksen
Software Engineering Modern Approaches 0002 Edition
Software Engineering Modern Approaches 0002 Edition
₹800 onwards
  • Eric J. Braude, Michael E. Bernstein
Certified Function Point Specialist Examination Guide
Certified Function Point Specialist Examination Guide
₹2396 onwards
  • David Garmus, Janet Russac, Royce Edwards
Agile Product Management with Scrum Creating Products That Customers Love
Agile Product Management with Scrum Creating Products That Customers Love
₹800 onwards
  • Roman Pichler
HTML and JavaScript Basics
HTML and JavaScript Basics
₹5688 onwards
  • Karl Barksdale, Shane Turner

Other Books By Olga Brukman :

Self-Stabilizing Autonomic Recoverers
Self-Stabilizing Autonomic Recoverers
₹5806 onwards
Wiki Writing Collaborative Learning in the College Classroom
Wiki Writing Collaborative Learning in the College Classroom
₹1542 onwards
Automated Technology for Verification and Analysis 11th International Symposium Atva 2013 Hanoi Vietnam October 15-18 2013 Proceedings
Automated Technology for Verification and Analysis 11th International Symposium Atva 2013 Hanoi Vietnam October 15-18 2013 Proceedings
₹7483 onwards
Emergent Web Intelligence Advanced Information Retrieval
Emergent Web Intelligence Advanced Information Retrieval
₹13626 onwards

Other Books By Shlomi Dolev :

Self-Stabilization 1st Edition
Self-Stabilization 1st Edition
₹2016 onwards
Distributed Computing 1st Edition
Distributed Computing 1st Edition
₹8211 onwards
Optical SuperComputing First International Workshop OSC 2008 Vienna Austria August 26 2008 Proceedings Lecture Notes in Computer Science Theoretical Computer Science and General Issues Eng
Optical SuperComputing First International Workshop OSC 2008 Vienna Austria August 26 2008 Proceedings Lecture Notes in Computer Science Theoretical Computer Science and General Issues Eng
₹1445 onwards
Big billion day flipkart 2019
Header
×
Text