0
*
0
*
1450
2025
book-filter
Work cover

FM 2006 : Formal Methods

  • Jayadev Misra,
  • Emil Sekerinski,
  • Tobias Nipkow

0

0 ratings

Genres

  • Application software, development
Already read

people already read

Currently reading

people are currently reading

Want to read

people want to read

About the authors

  • Jayadev Misra

    0

    0 ratings · 7 works

  • Emil Sekerinski

    0

    0 ratings · 7 works

  • Tobias Nipkow

    0

    0 ratings · 6 works

Editions

  • Edition cover

    Springer London, Limited

    2006