Marknadens största urval
Snabb leverans

An Introduction to Discrete Mathematics, Formal System Specification, and Z

Om An Introduction to Discrete Mathematics, Formal System Specification, and Z

Formal specification is the name given to the use of discrete mathematics in computer science for describing the function of both hardware and software systems. This textbook is an introduction to both the theory and practice of formal specification.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780198538363
  • Format:
  • Häftad
  • Sidor:
  • 296
  • Utgiven:
  • 4. februari 1993
  • Utgåva:
  • 2
  • Mått:
  • 156x235x16 mm.
  • Vikt:
  • 430 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 4. februari 2025

Beskrivning av An Introduction to Discrete Mathematics, Formal System Specification, and Z

Formal specification is the name given to the use of discrete mathematics in computer science for describing the function of both hardware and software systems. This textbook is an introduction to both the theory and practice of formal specification.

Användarnas betyg av An Introduction to Discrete Mathematics, Formal System Specification, and Z



Hitta liknande böcker
Boken An Introduction to Discrete Mathematics, Formal System Specification, and Z finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.