A unified theory of program logics : An approach based on the pi-calculus /

A unified theory of program logics : An approach based on the pi-calculus /

Đã lưu trong:

書目詳細資料
主要作者:	Honda, Kohei.
其他作者:	Yoshida, Nobuko.
格式:	Bài viết
語言:	English
主題:	Hennessy-Milner Hoare logics Logical full abstraction Relay-guarantee logic The pi-calculus
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

相似書籍

An object-oriented approach to programming logic and design
由: Farrell, Joyce
出版: (2006)

Induction motor direct torque control with fuzzy logic method /
由: Chikhi, Abdessalem.

Programming logic and design, comprehensive
由: Farrell, Joyce
出版: (2002)

Programming logic and design, introductory
由: Joyce Farrell
出版: (2008)

Programming logic and design : comprehensive
由: Joyce Farrell
出版: (2007)

A guide to programming logic and design /
由: Farrell, Joyce.
出版: (1999)

A guide to programming logic and design :
由: Farrell, Joyce
出版: (1999)

Logic học :
由: Lê, Ngọc Triết
出版: (2013)

Hegel's logic :
由: Hegel, Georg Wilhelm Friedrich
出版: (1975)

Programming logic and design
由: Farrell, Joyce

Foundations of inductive logic programming /
由: Nienhuys-Cheng, S. -H. 1943-
出版: (1997)

Logic học và phương pháp
由: Lê, Tử Thành
出版: (1991)

Tập bài giảng logic học
由: Lê, Duy Ninh
出版: (2014)

The power of logic
由: Layman, C. Stephen
出版: (2005)

The Power of Logic
由: Layman, Stephen
出版: (2005)

Tìm hiểu lôgic học
由: Lê, Tử Thành
出版: (1991)

Lôgic học đại cương
由: Vương, Tất Đạt
出版: (1998)

Logic học đại cương
由: Nguyễn, Như Hải
出版: (2014)

Lôgic học đại cương
由: Vương, Tất Đạt
出版: (2010)

Giáo trình logic học
由: Lê, Thanh Thập
出版: (2013)

Lôgic học đại cương
由: Vương, Tất Đạt
出版: (1998)

Logic học đại cương :
由: Phạm, Quỳnh
出版: (2014)

Giáo trình logic hình thức
由: Bùi, Thanh Quất
出版: (1994)

Giáo trình logic học đại cương
由: Nguyễn, Như Hải
出版: (2009)

Giáo trình logic học đại cương
由: Nguyễn, Như Hải
出版: (2013)

Giáo trình lôgíc học hình thức
由: Võ Văn Thắng
出版: (2012)

Fundamentals of logic design
由: Roth, Charles H

Bước đầu làm quen với logic toán
由: Nguyễn, Mạnh Trinh
出版: (1999)

Lôgic học
由: Vương, Tất Đạt
出版: (2001)

Lôgic học
由: Vương, Tất Đạt
出版: (1998)

Introduction to logic design
由: Marcovitz, Alan B.
出版: (2002)

Introduction to logic design
由: Marcovitz, Alan B.
出版: (2005)

Fundamentals of logic design
由: Roth, Charles H.
出版: (1992)

Introduction to logic design
由: Marcovitz, Alan B.
出版: (2005)

Logic học đại cương
由: Phạm, Quỳnh
出版: (2014)

Symbolic logic
由: Agler, David W
出版: (2013)

The Power of Logic /
由: Layman, Stephen
出版: (2005)

Logic
由: Wesley C. Salmon
出版: (1984)

Logic
由: Priest, Graham
出版: (2000)

Logics
由: Nolt, John
出版: (1997)