10% de desconto
idioma: inglês
Editor: CAMBRIDGE UNIVERSITY PRESS, agosto de 2004 ‧
74,35€
10% DESCONTO CARTÃO
portes grátis
Venda o seu livro
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

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

Propriedade Descrição
ISBN: 9780521543101
Editor: CAMBRIDGE UNIVERSITY PRESS
Data de Lançamento: agosto de 2004
Idioma: Inglês
Dimensões: 175 x 251 x 23 mm
Encadernação: Capa mole
Páginas: 440
Tipo de produto: Livro
Classificação Temática: Livros em Inglês > Informática > Outras Aplicações
Livros em Inglês > Informática > Iniciação à Informática
EAN: 9780521543101

QUEM COMPROU TAMBÉM COMPROU