0
*
0
*
1450
2025
book-filter
Work cover

Formal methods

  • Stefania Gnesi,
  • Keijiro Araki

0

0 ratings

Genres

  • Computer software
  • Congresses
  • Development
  • Formal methods (Computer science)
  • System design
  • Mathematics
  • Computer software, development
  • Computer science
Already read

people already read

Currently reading

people are currently reading

Want to read

people want to read

About the authors

  • Stefania Gnesi

    0

    0 ratings · 8 works

  • Keijiro Araki

    0

    0 ratings · 4 works

Editions

  • Edition cover

    1 edition

    Springer

    October 10, 2003