Vi bøger
Levering: 1 - 2 hverdage

Formal Methods in Computer Science - Jiacun (Monmouth University Wang - Bog

Bag om Formal Methods in Computer Science

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9781498775328
  • Indbinding:
  • Paperback
  • Sideantal:
  • 294
  • Udgivet:
  • 3. Juli 2019
  • Størrelse:
  • 231x156x24 mm.
  • Vægt:
  • 470 g.
  • 2-3 uger.
  • 16. Juli 2024
På lager

Normalpris

Medlemspris

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

Beskrivelse af Formal Methods in Computer Science

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.

Brugerbedømmelser af Formal Methods in Computer Science



Find lignende bøger
Bogen Formal Methods in Computer Science 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.