Springer Computer Aided Verification (English, Special Edition, Costas Courcoubetis)

About the Book

This volume contains the proceedings of the Fifth Conference on Computer-Aided Verfication, held in Crete, Greece, in June/July 1993. The objective of the CAV conferences is to bring together researchers and practitioners interested in the development anduse of methods, tools, and theories for the computer-aided verification of concurrent systems. The conferences provide an opportunity for comparing various verfication methods and tools that can…

Why You Should Read This Book

• Written by acclaimed author Costas Courcoubetis
• Published by Springer, a respected name in academic and professional publishing
• Covers the domain of Logic with depth and clarity
• Available in English — ideal for students, researchers, and professionals alike
• A trusted reference work that belongs on every serious reader's shelf

Product Details

This Special Edition of Computer Aided Verification is published by Springer and carries ISBN-13 9783540569220. Packaged securely for delivery across India, this edition is ideal for personal libraries, classroom use, and professional reference.

Who Is This Book For?

Whether you are a student preparing for advanced coursework, a researcher deepening your expertise, or a professional staying current with the field, Computer Aided Verification by Costas Courcoubetis is an excellent choice. Order your copy today from BookBajar and enjoy free shipping with Cash on Delivery available across India.