Logic in Computer Science: Modelling and Reasoning about Systems (Photo) /

1. Propositional logic

Salvato in:
Dettagli Bibliografici
Autore principale: Huth Michael
Altri autori: Ryan Mark
Natura: Libro
Lingua:Vietnamese
Pubblicazione: U.K : Cambridge University Press , 2002
Soggetti:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne! !
Thư viện lưu trữ: Thư viện Trường CĐ Kỹ Thuật Cao Thắng
Descrizione
Riassunto:1. Propositional logic
2. Predicate logic
3. Verification by model checking
4. Program vertification
5. Modal logics and agents
6. Binary decision diagrams
Contents :
Descrizione fisica:387tr. ; 27 cm
ISBN:052165200