10% OFF
language: english
Publisher: CAMBRIDGE UNIVERSITY PRESS, August of 2004 ‧
74,35€
10% OFF CARD
free shipping
Sell ​​your book
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.

Logic In Computer Science

Modelling And Reasoning About Systems

by Mark (University Of Birmingham) Ryan e Michael (Imperial College Of Science, Technology And Medicine, London) Huth

Property Description
ISBN: 9780521543101
Publisher: CAMBRIDGE UNIVERSITY PRESS
Release Date: August of 2004
Language: English
Dimensions: 175 x 251 x 23 mm
Cover: Softcover
Pages: 440
Format: Book
Categories: Books in English > Computing > Other Applications
Books in English > Computing > Introduction to Computing
EAN: 9780521543101

PEOPLE WHO BOUGHT ALSO BOUGHT