10% de desconto

Logic In Computer Science eBook

Modelling And Reasoning About Systems

de Michael Huth e Mark Ryan
idioma: inglês
Editor: CAMBRIDGE UNIVERSITY PRESS, agosto de 2004 ‧
72,88€
10% DESCONTO CARTÃO
DISPONIBILIDADE IMEDIATA
Ebook para ADE
Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems.

Logic In Computer Science

Modelling And Reasoning About Systems

de Michael Huth e Mark Ryan

Propriedade Descrição
ISBN: 9780511261589
Editor: CAMBRIDGE UNIVERSITY PRESS
Data de Lançamento: agosto de 2004
Idioma: Inglês
Tipo de produto: eBook
Formato e Compatibilidade: PDF para ADE
Classificação Temática: eBooks em Inglês > Informática > Outras Aplicações
EAN: 9780511261589