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

QR رمز

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

محفوظ في:

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Honda, Kohei.
مؤلفون آخرون:	Yoshida, Nobuko.
التنسيق:	مقال
اللغة:	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)