Vi bøger
Levering: 1 - 2 hverdage

An Introduction to Discrete Mathematics, Formal System Specification, and Z - D. C. (Professor Ince - Bog

Bag 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 mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780198538363
  • Indbinding:
  • Paperback
  • Sideantal:
  • 296
  • Udgivet:
  • 4. februar 1993
  • Udgave:
  • 2
  • Størrelse:
  • 156x235x16 mm.
  • Vægt:
  • 430 g.
  • 8-11 hverdage.
  • 22. januar 2025
På lager

Normalpris

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

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

Brugerbedømmelser af An Introduction to Discrete Mathematics, Formal System Specification, and Z



Find lignende bøger
Bogen An Introduction to Discrete Mathematics, Formal System Specification, and Z findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.