Logic in Computer Science | 2:a upplagan

Köp begagnad bok

Fint skick 632 kr
Godkänt skick 531 kr
Slitet skick Ej i lager 438 kr
Peer-to-peer Fri frakt fr. 461 kr

Köp ny bok

Ny bok 777 kr

Fakta

Förlag	Cambridge University Press
Språk	Engelska
Bandtyp	Pocket
Utgiven	2004-08-26
Upplaga	2
Antal sidor	427
ISBN	9780521543101
Kategori(er)	Data & IT

Lägg i varukorgen

Används bl a i följande kurser

5DV163 FILD10 4DT904

Beskrivning

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.

Läs mer

Hittills har vi återanvänt

böcker.

Sveriges grönaste och skönaste bokhandel med den billigaste kurslitteraturen.

Detta är vår ambition och vi tummar inte på något för att nå dit. Vi finns till för att hjälpa studenter att spara och tjäna pengar på sin kurslitteratur samtidigt som vi tillsammans gör miljön en tjänst. Företaget startade våren 2005 av två studenter och har sedan dess strävat mot att ständigt göra det enklare att köpa och sälja begagnad kurslitteratur för så många som möjligt.

Öppettider