Norges billigste bøker

Formal Methods in Computer Science

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 mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9781498775328
  • Bindende:
  • Paperback
  • Sider:
  • 294
  • Utgitt:
  • 3. juli 2019
  • Dimensjoner:
  • 231x156x24 mm.
  • Vekt:
  • 470 g.
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 22. januar 2025

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

Brukervurderinger av Formal Methods in Computer Science



Finn lignende bøker
Boken Formal Methods in Computer Science 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.