Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Formal Methods in Computer Science

Formal Methods in Computer Science

av Jiacun Wang

del av Textbooks in Mathematics-serien

Formal Methods in Computer Science av Jiacun Wang
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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9781498775328
  • Format:
  • Häftad
  • Sidor:
  • 294
  • Utgiven:
  • 3. juli 2019
  • Mått:
  • 231x156x24 mm.
  • Vikt:
  • 470 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 29. januari 2025

Om Jiacun Wang

Se alla böcker av Jiacun Wang

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

Användarnas betyg av Formal Methods in Computer Science



Andra köpte även...
Hitta liknande böcker
Boken Formal Methods in Computer Science finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.