Norges billigste bøker

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.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9780198538363
  • Bindende:
  • Paperback
  • Sider:
  • 296
  • Utgitt:
  • 4. februar 1993
  • Utgave:
  • 2
  • Dimensjoner:
  • 156x235x16 mm.
  • Vekt:
  • 430 g.
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 27. januar 2025

Beskrivelse 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.

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



Finn lignende bøker
Boken An Introduction to Discrete Mathematics, Formal System Specification, and Z finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.