Name: Formal Methods in Computer Science
Price: 2020.95 DKK
Availability: InStock
Author: Jiacun Wang
ISBN: 9780367225704

Formal Methods in Computer Science af Jiacun Wang

Du sparer 0% ift. normalprisen Spar 0%

Hardback
8-11 hverdage
2.020,95 kr.

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:
9780367225704

Forlag:
Taylor & Francis Ltd

Indbinding:
Hardback

Sideantal:
294

Udgivet:
25. juni 2019

Størrelse:
156x234x0 mm.

Vægt:
566 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 16. januar 2025

På lager

Normalpris

2.020,95 kr. + Fragt
~~2.020,95 kr.~~

Medlemspris

1.970,95 kr.

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

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:

Business og læring > Computer og IT

Formal Methods in Computer Science - Jiacun Wang - Bog

Bag om Jiacun Wang

Beskrivelse af Formal Methods in Computer Science

Brugerbedømmelser af Formal Methods in Computer Science

Gør som tusindvis af andre bogelskere