0
*
0
*
1450
2025
book-filter
Work cover

Formal specification and software development

  • D. Bjørner

0

0 ratings

Genres

  • Computer software
  • Development
  • Programming languages (Electronic computers)
Already read

people already read

Currently reading

people are currently reading

Want to read

people want to read

About the author

  • D. Bjørner

    born 1937

    0

    0 ratings · 13 works

Editions

  • Edition cover

    Prentice/Hall International

    1982