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

Mã QR

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

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Honda, Kohei.
Tác giả khác:	Yoshida, Nobuko.
Định dạng:	Bài viết
Ngôn ngữ:	English
Những chủ đề:	Hennessy-Milner Hoare logics Logical full abstraction Relay-guarantee logic The pi-calculus
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

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

Những quyển sách tương tự

Introduction to Deep Learning: From Logical Calculus to Artificial Intelligence
Bỡi: Skansi, Sandro
Được phát hành: (2021)

Induction motor direct torque control with fuzzy logic method /
Bỡi: Chikhi, Abdessalem.

An object-oriented approach to programming logic and design
Bỡi: Farrell, Joyce
Được phát hành: (2006)

Programming logic and design, comprehensive
Bỡi: Farrell, Joyce
Được phát hành: (2002)

Programming logic and design, introductory
Bỡi: Joyce Farrell
Được phát hành: (2008)

Programming logic and design : comprehensive
Bỡi: Joyce Farrell
Được phát hành: (2007)

A guide to programming logic and design :
Bỡi: Farrell, Joyce
Được phát hành: (1999)

Programming logic and design
Bỡi: Farrell, Joyce

Logic học :
Bỡi: Lê, Ngọc Triết
Được phát hành: (2013)

Hegel's logic :
Bỡi: Hegel, Georg Wilhelm Friedrich
Được phát hành: (1975)

Foundations of inductive logic programming /
Bỡi: Nienhuys-Cheng, S. -H. 1943-
Được phát hành: (1997)

Logic học và phương pháp
Bỡi: Lê, Tử Thành
Được phát hành: (1991)

Tập bài giảng logic học
Bỡi: Lê, Duy Ninh
Được phát hành: (2014)

The power of logic
Bỡi: Layman, C. Stephen
Được phát hành: (2005)

A hierarchy of behavioral equivalences in the -calculus with noisy channels /
Bỡi: Cao, Yongzhi.

Tìm hiểu lôgic học
Bỡi: Lê, Tử Thành
Được phát hành: (1991)

Lôgic học đại cương
Bỡi: Vương, Tất Đạt
Được phát hành: (1998)

Logic học đại cương
Bỡi: Nguyễn, Như Hải
Được phát hành: (2014)

Lôgic học đại cương
Bỡi: Vương, Tất Đạt
Được phát hành: (2010)

Giáo trình logic học
Bỡi: Lê, Thanh Thập
Được phát hành: (2013)

Lôgic học đại cương
Bỡi: Vương, Tất Đạt
Được phát hành: (1998)

Logic học đại cương :
Bỡi: Phạm, Quỳnh
Được phát hành: (2014)

Giáo trình logic hình thức
Bỡi: Bùi, Thanh Quất
Được phát hành: (1994)

Fundamentals of logic design
Bỡi: Roth, Charles H

Lôgic học
Bỡi: Vương, Tất Đạt
Được phát hành: (2001)

Lôgic học
Bỡi: Vương, Tất Đạt
Được phát hành: (1998)

Giáo trình logic học đại cương
Bỡi: Nguyễn, Như Hải
Được phát hành: (2009)

Giáo trình logic học đại cương
Bỡi: Nguyễn, Như Hải
Được phát hành: (2013)

Giáo trình lôgíc học hình thức
Bỡi: Võ Văn Thắng
Được phát hành: (2012)

Bước đầu làm quen với logic toán
Bỡi: Nguyễn, Mạnh Trinh
Được phát hành: (1999)

Introduction to logic design
Bỡi: Marcovitz, Alan B.
Được phát hành: (2002)

Introduction to logic design
Bỡi: Marcovitz, Alan B.
Được phát hành: (2005)

Fundamentals of logic design
Bỡi: Roth, Charles H.
Được phát hành: (1992)

Introduction to logic design
Bỡi: Marcovitz, Alan B.
Được phát hành: (2005)

Symbolic logic
Bỡi: Agler, David W
Được phát hành: (2013)

Logic học đại cương
Bỡi: Phạm, Quỳnh
Được phát hành: (2014)

Lôgic học
Bỡi: Vương, Tất Đạt
Được phát hành: (2000)

Logic
Bỡi: Wesley C. Salmon
Được phát hành: (1984)

Logic
Bỡi: Priest, Graham
Được phát hành: (2000)

Logics
Bỡi: Nolt, John
Được phát hành: (1997)