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. Computing & IT
  5. Theory and Practice of Formal Methods

Theory and Practice of Formal Methods

- Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

part of the Theoretical Computer Science and General Issues series

part of the Lecture Notes in Computer Science series

Theory and Practice of Formal Methods Save 17% from RPP Save 17%
About Theory and Practice of Formal Methods

This Festschrift volume has been published in honor ofFrank de Boer, on the occasion of his 60th birthday. Frank S. For a while, he also liked failures, especially in semantics, andoptimistically concluded with the failure of failures.

Show more
  • Language:
  • English
  • ISBN:
  • 9783319307336
  • Binding:
  • Paperback
  • Pages:
  • 427
  • Published:
  • March 12, 2016
  • Edition:
  • 12016
  • Dimensions:
  • 155x235x23 mm.
  • Weight:
  • 6613 g.
Delivery: 2-4 weeks
Expected delivery: September 17, 2025

Description of Theory and Practice of Formal Methods

This Festschrift volume has been published in honor ofFrank de Boer, on the occasion of his 60th birthday. Frank S. For a while, he also liked failures, especially in semantics, andoptimistically concluded with the failure of failures.

User ratings of Theory and Practice of Formal Methods



Others also bought..
Find similar books
The book Theory and Practice of 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.