Formal Description Techniques VII

Formal Description Techniques VII

  • D. Hogrefe
  • S. Leue
Publisher:SpringerISBN 13: 9780412644504ISBN 10: 0412644509

Paperback & Hardcover deals ―

Amazon IndiaGOFlipkart GOSnapdealGOSapnaOnlineGOJain Book AgencyGOBooks Wagon₹10,852Book ChorGOCrosswordGODC BooksGO

e-book & Audiobook deals ―

Amazon India GOGoogle Play Books GOAudible GO

* Price may vary from time to time.

* GO = We're not able to fetch the price (please check manually visiting the website).

Know about the book -

Formal Description Techniques VII is written by D. Hogrefe and published by Springer. It's available with International Standard Book Number or ISBN identification 0412644509 (ISBN 10) and 9780412644504 (ISBN 13).

This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques.