0
*
0
*
1450
2025
book-filter
Work cover

Mathematical methods of specification and synthesis of software systems '85

  • W. Bibel

0

0 ratings

Genres

  • Development
  • Congresses
  • Computer software
  • Conception logiciel
  • Informatique théorique
  • Inférence inductive
  • Théorie mathématique logiciel
  • Softwareentwicklung
  • Logiciels
  • Développement
  • Développement logiciel
  • Type abstrait
  • Génie logiciel
  • Computer programs
  • Computer programming
  • Symbolic and mathematical Logic
  • Universal Algebra
Already read

people already read

Currently reading

people are currently reading

Want to read

people want to read

About the author

  • W. Bibel

    born 1938

    0

    0 ratings · 44 works

Editions

  • Edition cover

    Springer

    1986