Springer Zb 2002 (English, Special Edition, Didier Bert | Jonathan P. Bowen | Martin C. Henson)

About the Book

These proceedings record the papers presented at the second International Conference of B and Z Users (ZB2002), held on 23-25 January 2002 in the city of Grenoble in the heart of the French Alps. This conference built on the success of the rst con- rence in this series, ZB2000, held at the University ofYork in the UK. The location of ZB2002 in Grenoble re ects the important work in the area of formal methods carried out at the Laboratoire Logicie…

Why You Should Read This Book

• Written by acclaimed author Didier Bert | Jonathan P. Bowen | Martin C. Henson
• Published by Springer, a respected name in academic and professional publishing
• Covers the domain of Software Development & Engineering / General 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 Zb 2002 is published by Springer and carries ISBN-13 9783540431664. 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, Zb 2002 by Didier Bert | Jonathan P. Bowen | Martin C. Henson is an excellent choice. Order your copy today from BookBajar and enjoy free shipping with Cash on Delivery available across India.