ALL ABOUT MAUDE - A HIGH-PERFORMANCE LOGICAL FRAMEWORK (PB): How to Specify, Program, and Verify Systems in Rewriting Logic: 4350 (Programming and Software Engineering)
-35%
Availability: In Stock

ALL ABOUT MAUDE – A HIGH-PERFORMANCE LOGICAL FRAMEWORK (PB): How to Specify, Program, and Verify Systems in Rewriting Logic: 4350 (Programming and Software Engineering)

SKU: 9783540719403

Original price was: ₹9,088.99.Current price is: ₹5,907.84.

Discover the power of Maude, a high-performance logical framework, with this comprehensive guide from Springer. Perfect for researchers and developers, ‘ALL ABOUT MAUDE’ delves into specifying, programming, and verifying systems using rewriting logic. This essential programming and software engineering resource offers in-depth knowledge and practical applications, making complex logical framework concepts accessible. Enhance your system design and analysis capabilities with this authoritative paperback, ideal for anyone seeking to master advanced logical programming techniques. Get your copy today from The Bookish Owl and explore the future of formal methods.

5 in stock

Category: Tag:

Description

  • ISBN-10: 3540719407
  • ISBN-13: 978-3540719403
  • Edition: 2007th
  • Publisher: SPRINGER
  • Publication date: 1 January 2007
  • Language: English
  • Dimensions: 15.5 x 4.72 x 23.5 cm
  • Print length: 802 pages

Related products