0
*
0
*
1450
2025
book-filter
Work cover

Tools and Algorithms for the Construction and Analysis of Systems

  • Klaus Havelund,
  • Erika Abraham

0

0 ratings

Genres

  • System analysis
  • Congresses
  • Verification
  • System design
  • Computer software
  • Algorithms
Already read

people already read

Currently reading

people are currently reading

Want to read

people want to read

About the authors

  • Klaus Havelund

    0

    0 ratings · 8 works

  • Erika Abraham

    0

    0 ratings · 3 works

Editions

  • Edition cover

    Springer

    Mar 11, 2014

  • Edition cover

    Springer London, Limited

    2014