1
Secure communicating systems design, analysis, and implementation

Cover is for reference only
Main Authors: Huth Michael 1962-
Published: Cambridge University Press,
Publication Dates: 2001.
Call Number: TN918/H979
Book
Save to List
Saved in:
3
面向计算机科学的数理逻辑 系统建模与推理 英文版

Cover is for reference only
Main Authors: 英 胡思 M Huth,Michael ((英)Michael Huth，(英)Mark Ryan著); 英 Ryan Mark
Published: 机械工业出版社
Publication Dates: 2005
Call Number: O141/4663
Book
Save to List
Saved in:
4
Logic in computer science modelling and reasoning about systems

Cover is for reference only
Main Authors: Huth Michael 1962-
Group Author: Ryan Mark 1962-
Published: Cambridge University Press,
Publication Dates: 2000.
Call Number: TP301.6/H979/
Book
Save to List
Saved in:
6
Logic in computer science modelling and reasoning about systems

Cover is for reference only
Main Authors: Huth Michael, 1962-
Group Author: Ryan Mark, 1962-
Published: Cambridge University Press,
Publication Dates: 2004.
Call Number: TP301.6/H979-1
Book
Save to List
Saved in:
7
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems

Cover is for reference only
Main Authors: 德 胡斯 Huth, Michael ((德)Michael Huth，(英)Mark Ryan著); 英 瑞安 Ryan，Mark
Group Author: 何伟 (译); 樊磊 (译)
Published: 机械工业出版社
Publication Dates: 2007
Call Number: O141/4648
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —