We a good story
4.1 / 5 on Trustpilot
Quick delivery in the UK
Trusted Ecommerce Europe
Help
Login
  1. Home
  2. Books
  3. Business & Education
  4. Formal Methods

Formal Methods

- Industrial Use from Model to the Code

Formal Methods Save 12% from RPP Save 12%
About Formal Methods

Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language.

Show more
  • Language:
  • English
  • ISBN:
  • 9781848213623
  • Binding:
  • Hardback
  • Pages:
  • 384
  • Published:
  • May 10, 2012
  • Dimensions:
  • 241x164x27 mm.
  • Weight:
  • 704 g.
Delivery: 2-4 weeks
Expected delivery: February 15, 2025

Description of Formal Methods

Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language.

User ratings of Formal Methods



Others also bought..
Find similar books
The book Formal Methods can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.