De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
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

- 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

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

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: