Black Week: Spar op til 85% Spar op til 85% på et kæmpe udvalg af gode bøger
Udvidet returret til d. 31. januar 2025
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Formal Methods in Computer Science

Formal Methods in Computer Science

af Jiacun Wang

indgår i Textbooks in Mathematics serien

Formal Methods in Computer Science af Jiacun Wang
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.
  • BLACK WEEK
  Gratis fragt
Leveringstid: 8-11 hverdage
Forventet levering: 11. december 2024
Forlænget returret til d. 31. januar 2025

Bag om Jiacun Wang

Vis alle bøger af Jiacun Wang

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



Andre købte også..
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.