Gjør som tusenvis av andre bokelskere
Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.
Ved å abonnere godtar du vår personvernerklæring.Du kan når som helst melde deg av våre nyhetsbrev.
Logic in Computer Science
- Modelling and Reasoning about Systems
- Bindende:
- Paperback
- Sider:
- 440
- Utgitt:
- 26. august 2004
- Utgave:
- 2
- Dimensjoner:
- 173x246x22 mm.
- Vekt:
- 804 g.
-
BLACK NOVEMBER
På lager
Leveringstid:
4-7 virkedager
Forventet levering: 4. desember 2024
Om Michael (Imperial College of Science Huth
Se alle bøkene av Michael (Imperial College of Science HuthBeskrivelse av Logic in Computer Science
This second edition continues to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements have been made throughout, with many extra and expanded sections and exercises. The coverage of model-checking has been substantially updated.
Brukervurderinger av Logic in Computer Science
Vurder denne boken
Du må være innlogget for å vurdere denne boken.Andre har også kjøpt..
Finn lignende bøker
Boken Logic in Computer Science finnes i følgende kategorier:
Du kan når som helst melde deg av våre nyhetsbrev.
© 2024 Bokreolen.no
