Black November: Store besparelser hele måneden Vi fejrer Black Friday hele november måned med store besparelser
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. Logic in Computer Science

Logic in Computer Science - Michael (Imperial College of Science Huth - Bog

- Modelling and Reasoning about Systems

af Michael (Imperial College of Science Huth
Logic in Computer Science af Michael (Imperial College of Science Huth
Bag om 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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780521543101
  • Indbinding:
  • Paperback
  • Sideantal:
  • 440
  • Udgivet:
  • 26. august 2004
  • Udgave:
  • 2
  • Størrelse:
  • 173x246x22 mm.
  • Vægt:
  • 804 g.
  • 8-11 hverdage.
  • 5. december 2024
På lager

Normalpris

  • BLACK NOVEMBER

Medlemspris

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

Bag om Michael (Imperial College of Science Huth

Vis alle bøger af Michael (Imperial College of Science Huth

Beskrivelse af 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.

Brugerbedømmelser af Logic in Computer Science



Andre købte også..
Find lignende bøger
Bogen Logic 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.