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

Computer Aided Verification - 9783540705437

N/A
₹3996
See all Prices
See Price Trend

About the Book :

  • Language : English
  • Binding : Paperback
  • Contributors : Nicolas Bourbaki, N. Bourbaki

Computer Aided Verification Details :

DETAILS

  • Language : English
  • Binding : Paperback
  • Contributors : Nicolas Bourbaki, N. Bourbaki
Read The Full Specification

Computer Aided Verification Price History

  • The best price for Computer Aided Verification in India is Rs. as per November 22, 2024, 9:41 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

Computer Aided Verification Related Books :

Interactive Theorem Proving and Program Development Coq Art The Calculus of Inductive Constructions 1st Edition
Interactive Theorem Proving and Program Development Coq Art The Calculus of Inductive Constructions 1st Edition
₹5050 onwards
  • Pierre Castiran, Yves Bertot, Pierre Casteran
Stepwise Refinement of Distributed Systems Models Formalisms Correctness Rex Workshop Mook the Netherlands May 29 - June 2 1989 Proceedings
Stepwise Refinement of Distributed Systems Models Formalisms Correctness Rex Workshop Mook the Netherlands May 29 - June 2 1989 Proceedings
₹11842 onwards
  • Joris Scharpff, Onno Steenbergen, Koek De Kok
Formal Techniques in Real-Time and Fault-Tolerant Systems Proceedings of a Symposium Warwick UK September 22-23 1988
Formal Techniques in Real-Time and Fault-Tolerant Systems Proceedings of a Symposium Warwick UK September 22-23 1988
₹6593 onwards
  • J. Billington, G. Rozenberg, M. Diaz
Time for Verification Essays in Memory of Amir Pnueli 1st Edition Edition
Time for Verification Essays in Memory of Amir Pnueli 1st Edition Edition
₹8275 onwards
  • Don Poulton
Petrinetze Eine Einfuhrung German
Petrinetze Eine Einfuhrung German
₹4760 onwards
  • Wolfgang Reisig
Flagorientierte Assoziativspeicher Und -Prozessoren German
Flagorientierte Assoziativspeicher Und -Prozessoren German
₹4562 onwards
  • Djamshid Tavangarian
Automated Reasoning 5th International Joint Conference Ijcar 2010 Edinburgh UK July 16-19 2010 Proceedings
Automated Reasoning 5th International Joint Conference Ijcar 2010 Edinburgh UK July 16-19 2010 Proceedings
₹10358 onwards
  • Heading
Reasoning Web Semantic Technologies for Information Systems 5th International Summer School 2009 Brixen-Bressanone Italy August 30 - September 4
Reasoning Web Semantic Technologies for Information Systems 5th International Summer School 2009 Brixen-Bressanone Italy August 30 - September 4
₹1892 onwards
  • Paul Piccard, Marcus Sachs, Brian Baskin
Relational Methods in Computer Science
Relational Methods in Computer Science
₹6226 onwards
  • Manfred Denker
Mathematical Foundation of Programming Semantics International Conference Manhattan Kansas April 11-12 1985 Proceedings
Mathematical Foundation of Programming Semantics International Conference Manhattan Kansas April 11-12 1985 Proceedings
₹7252 onwards
  • Colin Hood, Rupert Wiebel
Algebraic Methodology and Software Technology 10th International Conference Amast 2004 Stirling Scotland UK July 12-16 2004 Proceedings
Algebraic Methodology and Software Technology 10th International Conference Amast 2004 Stirling Scotland UK July 12-16 2004 Proceedings
₹3714 onwards
  • C. Rattray
Semantics of Concurrent Computation Proceedings of the International Symposium Evian France July 2-4 1979
Semantics of Concurrent Computation Proceedings of the International Symposium Evian France July 2-4 1979
₹3381 onwards
  • Neil D Jones
Rapid Integration of Software Engineering Techniques Third International Workshop RISE 2006 Geneva Switzerland September 13-15 2006 Revised Sel 1st Edition
Rapid Integration of Software Engineering Techniques Third International Workshop RISE 2006 Geneva Switzerland September 13-15 2006 Revised Sel 1st Edition
₹2801 onwards
  • C. Stary
Dependable Computing Third Latin-American Symposium Ladc 2007 Morelia Mexico September 26-28 2007 Proceedings 1st Edition
Dependable Computing Third Latin-American Symposium Ladc 2007 Morelia Mexico September 26-28 2007 Proceedings 1st Edition
₹3131 onwards
  • Yorick Wilks
Computer Safety Reliability and Security 24th International Conference Safecomp 2005 Fredrikstad Norway September 28-30 2005 Proceedings 1st Edition
Computer Safety Reliability and Security 24th International Conference Safecomp 2005 Fredrikstad Norway September 28-30 2005 Proceedings 1st Edition
₹4155 onwards
  • R. Winther
Automated Reasoning Third International Joint Conference Ijcar 2006 Seattle Wa USA August 17-20 2006 Proceedings 1st Edition
Automated Reasoning Third International Joint Conference Ijcar 2006 Seattle Wa USA August 17-20 2006 Proceedings 1st Edition
₹800 onwards
  • Pasewark William R. Jr., Pasewark William R. Sr., Scott G. Pasewark
Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop Epew 2005 and International Workshop on Web
Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop Epew 2005 and International Workshop on Web
₹7157 onwards
  • M. Bravetti
Domain Modeling and the Duration Calculus International Training School Shanghai China September 17-21 2007 Advanced Lectures
Domain Modeling and the Duration Calculus International Training School Shanghai China September 17-21 2007 Advanced Lectures
₹1811 onwards
  • M. L
Concur 96 Concurrency Theory 7th International Conference Pisa Italy August 26 - 29 1996 Proceedings
Concur 96 Concurrency Theory 7th International Conference Pisa Italy August 26 - 29 1996 Proceedings
₹3396 onwards
  • Stephane Faroult
Formal Modeling and Analysis of Timed Systems First International Workshop Formats 2003 Marseille France September 6-7 2003 Revised Papers
Formal Modeling and Analysis of Timed Systems First International Workshop Formats 2003 Marseille France September 6-7 2003 Revised Papers
₹6346 onwards
  • Kim G. Larsen

Other Books By Nicolas Bourbaki :

Algebra I Chapters 1-3 1st ed 1989 2nd printing 1998th Edition
Algebra I Chapters 1-3 1st ed 1989 2nd printing 1998th Edition
₹4000 onwards
Elements of the History of Mathematics 1st ed 1994 2nd printing 1998th Edition
Elements of the History of Mathematics 1st ed 1994 2nd printing 1998th Edition
₹5453 onwards
Lie Groups and Lie Algebras Chapters 4-6 1st ed 2002 2nd printing 2008th Edition
Lie Groups and Lie Algebras Chapters 4-6 1st ed 2002 2nd printing 2008th Edition
₹800 onwards
Computer Aided Verification
Computer Aided Verification
₹3996 onwards
Topological Vector Spaces Chapters 1 5 1st ed 1987 2nd printing 2002nd Edition
Topological Vector Spaces Chapters 1 5 1st ed 1987 2nd printing 2002nd Edition
₹13199 onwards
Lie Groups and Lie Algebras Chapters 7-9 1st ed 2005 2nd printing Edition
Lie Groups and Lie Algebras Chapters 7-9 1st ed 2005 2nd printing Edition
₹3640 onwards
Integration II Chapters 7 9
Integration II Chapters 7 9
₹6376 onwards
Algebre Chapitre 8 French
Algebre Chapitre 8 French
₹4667 onwards
General Topology Chapters 1 4 1st ed 1989 2nd printing 1998th Edition
General Topology Chapters 1 4 1st ed 1989 2nd printing 1998th Edition
₹675 onwards
Commutative Algebra Chapters 1-7 1st ed 1989 2nd printing 1998th Edition
Commutative Algebra Chapters 1-7 1st ed 1989 2nd printing 1998th Edition
₹5029 onwards
General Topology Chapters 5 10 1st ed 1989 2nd printing 1998th Edition
General Topology Chapters 5 10 1st ed 1989 2nd printing 1998th Edition
₹800 onwards
Topologie Generale Chapitres 1 a 4 French Reimpression inchangee de l edition de 1971st Edition
Topologie Generale Chapitres 1 a 4 French Reimpression inchangee de l edition de 1971st Edition
₹3230 onwards
Elements of Mathematics Functions of a Real Variable Elementary Theory illustrated edition Edition
Elements of Mathematics Functions of a Real Variable Elementary Theory illustrated edition Edition
₹6882 onwards
Commutative Algebra Chapters 1-7 2nd Edition
Commutative Algebra Chapters 1-7 2nd Edition
₹4441 onwards
Algebra I Chapters 1-3 2nd Edition
Algebra I Chapters 1-3 2nd Edition
₹4872 onwards
Theory of Sets 1st ed 1968 2nd printing 2004th Edition
Theory of Sets 1st ed 1968 2nd printing 2004th Edition
₹3596 onwards
Elements Of Mathematics Lie Groups And Lie Algebras Chapters 1-3 1st Edition
Elements Of Mathematics Lie Groups And Lie Algebras Chapters 1-3 1st Edition
₹4872 onwards
Elements of Mathematics Algebra I Chapters 1 - 3 2nd Edition
Elements of Mathematics Algebra I Chapters 1 - 3 2nd Edition
₹4872 onwards
General Topology Elements of Mathematics Chapters 1-4 1st ed 1989 2nd printing 1998th Edition
General Topology Elements of Mathematics Chapters 1-4 1st ed 1989 2nd printing 1998th Edition
₹4872 onwards
Elements Of Mathematics Theory Of Sets German English 1st ed 1968 2nd printing 2004th Edition
Elements Of Mathematics Theory Of Sets German English 1st ed 1968 2nd printing 2004th Edition
₹5197 onwards

Other Books By N Bourbaki :

Integration II Chapters 7 9 1st Edition
Integration II Chapters 7 9 1st Edition
₹9877 onwards
Transactions on Computational Systems Biology XIII
Transactions on Computational Systems Biology XIII
₹6328 onwards
Responsibility and Dependable Systems illustrated edition Edition
Responsibility and Dependable Systems illustrated edition Edition
₹3752 onwards
Ambient Intelligence - Software and Applications 3rd International Symposium on Ambient Intelligence Isami 2012
Ambient Intelligence - Software and Applications 3rd International Symposium on Ambient Intelligence Isami 2012
₹14460 onwards
Ludics Dialogue and Interaction Prelude Project 2006-2009 Revised Selected Papers
Ludics Dialogue and Interaction Prelude Project 2006-2009 Revised Selected Papers
₹4269 onwards
Groupes Et Algebres de Lie Chapitre 1 French 0002 Edition
Groupes Et Algebres de Lie Chapitre 1 French 0002 Edition
₹4114 onwards
Geometric Applications of Homotopy Theory I Proceedings Evanston March 21 - 26 1977
Geometric Applications of Homotopy Theory I Proceedings Evanston March 21 - 26 1977
₹4693 onwards
Alg Bre Commutative Chapitres 1 4 French 2nd Edition
Alg Bre Commutative Chapitres 1 4 French 2nd Edition
₹800 onwards
Alg Bre Chapitre 9 French 0002 Edition
Alg Bre Chapitre 9 French 0002 Edition
₹1504 onwards
Endocrinology in Anaesthesia and Surgery
Endocrinology in Anaesthesia and Surgery
₹9434 onwards
Int Gration Chapitres 7 8 French 2nd Edition
Int Gration Chapitres 7 8 French 2nd Edition
₹800 onwards
Variable Structure Systems with Application to Economics and Biology Proceedings of the Second Us-Italy Seminar on Variable Structure Systems May 19
Variable Structure Systems with Application to Economics and Biology Proceedings of the Second Us-Italy Seminar on Variable Structure Systems May 19
₹8158 onwards
Algorithms International Symposium Sigal 90 Tokyo Japan August 16-18 1990 Proceedings
Algorithms International Symposium Sigal 90 Tokyo Japan August 16-18 1990 Proceedings
₹8288 onwards
Neuroscience From Neural Networks to Artificial Intelligence Proceedings of A U S -Mexico Seminar Held in the City of Xalapa in the State of Veracru
Neuroscience From Neural Networks to Artificial Intelligence Proceedings of A U S -Mexico Seminar Held in the City of Xalapa in the State of Veracru
₹10191 onwards
The Frontal Sinus 1st Edition
The Frontal Sinus 1st Edition
₹7000 onwards
Interstellar Matter Galaxy Universe
Interstellar Matter Galaxy Universe
₹253706 onwards
Economic Aspects of AIDS and HIV Infection
Economic Aspects of AIDS and HIV Infection
₹4160 onwards
Lie Groups and Lie Algebras Chapters 1-3 1st ed 1989 2nd printing 1998th Edition
Lie Groups and Lie Algebras Chapters 1-3 1st ed 1989 2nd printing 1998th Edition
₹3490 onwards
Groupes Et Algebres de Lie Chapitre 9 Groupes de Lie Reels Compacts French Reimpression inchangee de l edition de 1982nd Edition
Groupes Et Algebres de Lie Chapitre 9 Groupes de Lie Reels Compacts French Reimpression inchangee de l edition de 1982nd Edition
₹800 onwards
Integration I Chapters 1-6
Integration I Chapters 1-6
₹10528 onwards
Big billion day flipkart 2019
Header
×
Text