Name: Formal Methods in Computer Science
Price: 1127.95 DKK
Availability: InStock
Author: Jiacun Wang
ISBN: 9781498775328

Formal Methods in Computer Science af Jiacun Wang

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
1.127,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:
9781498775328

Forlag:
Taylor & Francis Inc

Indbinding:
Paperback

Sideantal:
294

Udgivet:
3. juli 2019

Størrelse:
231x156x24 mm.

Vægt:
470 g.

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

På lager

Normalpris

1.127,95 kr. + Fragt
~~1.127,95 kr.~~

Medlemspris

1.077,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