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 /

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Honda, Kohei.
Awduron Eraill:	Yoshida, Nobuko.
Fformat:	Erthygl
Iaith:	English
Pynciau:	Hennessy-Milner Hoare logics Logical full abstraction Relay-guarantee logic The pi-calculus
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

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

Eitemau Tebyg

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

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

Programming logic and design, comprehensive
gan: Farrell, Joyce
Cyhoeddwyd: (2002)

Programming logic and design, introductory
gan: Joyce Farrell
Cyhoeddwyd: (2008)

Programming logic and design : comprehensive
gan: Joyce Farrell
Cyhoeddwyd: (2007)

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

A guide to programming logic and design :
gan: Farrell, Joyce
Cyhoeddwyd: (1999)

Logic học :
gan: Lê, Ngọc Triết
Cyhoeddwyd: (2013)

Hegel's logic :
gan: Hegel, Georg Wilhelm Friedrich
Cyhoeddwyd: (1975)

Programming logic and design
gan: Farrell, Joyce

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

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

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

The power of logic
gan: Layman, C. Stephen
Cyhoeddwyd: (2005)

The Power of Logic
gan: Layman, Stephen
Cyhoeddwyd: (2005)

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

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

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

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

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

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

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

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

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

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

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

Fundamentals of logic design
gan: Roth, Charles H

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

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

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

Introduction to logic design
gan: Marcovitz, Alan B.
Cyhoeddwyd: (2002)

Introduction to logic design
gan: Marcovitz, Alan B.
Cyhoeddwyd: (2005)

Fundamentals of logic design
gan: Roth, Charles H.
Cyhoeddwyd: (1992)

Introduction to logic design
gan: Marcovitz, Alan B.
Cyhoeddwyd: (2005)

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

Symbolic logic
gan: Agler, David W
Cyhoeddwyd: (2013)

The Power of Logic /
gan: Layman, Stephen
Cyhoeddwyd: (2005)

Logic
gan: Wesley C. Salmon
Cyhoeddwyd: (1984)

Logic
gan: Priest, Graham
Cyhoeddwyd: (2000)

Logics
gan: Nolt, John
Cyhoeddwyd: (1997)