Utvidet returrett til 31. januar 2025

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:
  • 9780367225704
  • Bindende:
  • Hardback
  • Sider:
  • 294
  • Utgitt:
  • 25. juni 2019
  • Dimensjoner:
  • 156x234x0 mm.
  • Vekt:
  • 566 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 19. desember 2024

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.