Logic in Computer Science Modelling and Reasoning About Systems

Name: Logic in Computer Science
Author: Michael Huth

Auteur: Michael Huth

Taal: Engels

Afbeeldingen

Inkijkexemplaar

Artikel vergelijken

Vergelijk met andere artikelen

Bekijk nu

Uitgever: Cambridge University Press

Auteur: Michael Huth Mark Ryan

Engels
Paperback
9780521543101
26 augustus 2004
440 pagina's

Alle productspecificaties

Samenvatting

Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses both those requirements, by continuing 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 to the first edition have been made throughout, with extra and expanded sections on SAT solvers, existential/universal second-order logic, micro-models, programming by contract and total correctness. The coverage of model-checking has been substantially updated. Further exercises have been added. Internet support for the book includes worked solutions for all exercises for teachers, and model solutions to some exercises for students.

Productspecificaties

Inhoud

Taal: en
Bindwijze: Paperback
Oorspronkelijke releasedatum: 26 augustus 2004
Aantal pagina's: 440
Illustraties: Nee

Betrokkenen

Hoofdauteur: Michael Huth
Tweede Auteur: Mark Ryan
Hoofduitgeverij: Cambridge University Press

Overige kenmerken

Editie: 2
Extra groot lettertype: Nee
Product breedte: 175 mm
Product hoogte: 21 mm
Product lengte: 247 mm
Studieboek: Ja
Verpakking breedte: 175 mm
Verpakking hoogte: 21 mm
Verpakking lengte: 247 mm
Verpakkingsgewicht: 750 g

EAN

EAN: 9780521543101

Je vindt dit artikel in

Categorieën: Computers & Informatica

Computertechnologie

Computerarchitectuur

Systeemanalyse & systeemontwerp

Wiskunde voor computerwetenschappers

Boeken
Boek, ebook of luisterboek?: Boek
Taal: Engels
Beschikbaarheid: Leverbaar
Studieboek of algemeen: Algemene boeken

Reviews

Nog geen reviews

Hoe controleren en plaatsen wij reviews? Hoe controleren en plaatsen wij reviews?

Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.