10% OFF

Logic In Computer Science eBook

Modelling And Reasoning About Systems

by Michael Huth e Mark Ryan
language: english
Publisher: CAMBRIDGE UNIVERSITY PRESS, August of 2004 ‧
72,88€
10% OFF CARD
IMMEDIATE AVAILABILITY
Ebook for 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

by Michael Huth e Mark Ryan

Property Description
ISBN: 9780511261589
Publisher: CAMBRIDGE UNIVERSITY PRESS
Release Date: August of 2004
Language: English
Format: eBook
File Format and Compatibility: PDF para ADE
Categories: eBooks in English > Computing > Other Applications
EAN: 9780511261589