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 /

Guardat en:

Dades bibliogràfiques
Autor principal:	Honda, Kohei.
Altres autors:	Yoshida, Nobuko.
Format:	Article
Idioma:	English
Matèries:	Hennessy-Milner Hoare logics Logical full abstraction Relay-guarantee logic The pi-calculus
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

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

Ítems similars

An object-oriented approach to programming logic and design
per: Farrell, Joyce
Publicat: (2006)

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

Programming logic and design, comprehensive
per: Farrell, Joyce
Publicat: (2002)

Programming logic and design, introductory
per: Joyce Farrell
Publicat: (2008)

Programming logic and design : comprehensive
per: Joyce Farrell
Publicat: (2007)

A guide to programming logic and design /
per: Farrell, Joyce.
Publicat: (1999)

A guide to programming logic and design :
per: Farrell, Joyce
Publicat: (1999)

Logic học :
per: Lê, Ngọc Triết
Publicat: (2013)

Hegel's logic :
per: Hegel, Georg Wilhelm Friedrich
Publicat: (1975)

Programming logic and design
per: Farrell, Joyce

Foundations of inductive logic programming /
per: Nienhuys-Cheng, S. -H. 1943-
Publicat: (1997)

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

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

The power of logic
per: Layman, C. Stephen
Publicat: (2005)

The Power of Logic
per: Layman, Stephen
Publicat: (2005)

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

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

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

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

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

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

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

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

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

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

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

Fundamentals of logic design
per: Roth, Charles H

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

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

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

Introduction to logic design
per: Marcovitz, Alan B.
Publicat: (2002)

Introduction to logic design
per: Marcovitz, Alan B.
Publicat: (2005)

Fundamentals of logic design
per: Roth, Charles H.
Publicat: (1992)

Introduction to logic design
per: Marcovitz, Alan B.
Publicat: (2005)

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

Symbolic logic
per: Agler, David W
Publicat: (2013)

The Power of Logic /
per: Layman, Stephen
Publicat: (2005)

Logic
per: Wesley C. Salmon
Publicat: (1984)

Logic
per: Priest, Graham
Publicat: (2000)

Logics
per: Nolt, John
Publicat: (1997)