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

QR-Code

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

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Honda, Kohei.
Weitere Verfasser:	Yoshida, Nobuko.
Format:	Artikel
Sprache:	English
Schlagworte:	Hennessy-Milner Hoare logics Logical full abstraction Relay-guarantee logic The pi-calculus
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

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

Ähnliche Einträge

An object-oriented approach to programming logic and design
von: Farrell, Joyce
Veröffentlicht: (2006)

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

Programming logic and design, comprehensive
von: Farrell, Joyce
Veröffentlicht: (2002)

Programming logic and design, introductory
von: Joyce Farrell
Veröffentlicht: (2008)

Programming logic and design : comprehensive
von: Joyce Farrell
Veröffentlicht: (2007)

A guide to programming logic and design /
von: Farrell, Joyce.
Veröffentlicht: (1999)

A guide to programming logic and design :
von: Farrell, Joyce
Veröffentlicht: (1999)

Logic học :
von: Lê, Ngọc Triết
Veröffentlicht: (2013)

Hegel's logic :
von: Hegel, Georg Wilhelm Friedrich
Veröffentlicht: (1975)

Programming logic and design
von: Farrell, Joyce

Foundations of inductive logic programming /
von: Nienhuys-Cheng, S. -H. 1943-
Veröffentlicht: (1997)

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

Tập bài giảng logic học
von: Lê, Duy Ninh
Veröffentlicht: (2014)

The power of logic
von: Layman, C. Stephen
Veröffentlicht: (2005)

The Power of Logic
von: Layman, Stephen
Veröffentlicht: (2005)

Tìm hiểu lôgic học
von: Lê, Tử Thành
Veröffentlicht: (1991)

Lôgic học đại cương
von: Vương, Tất Đạt
Veröffentlicht: (1998)

Logic học đại cương
von: Nguyễn, Như Hải
Veröffentlicht: (2014)

Lôgic học đại cương
von: Vương, Tất Đạt
Veröffentlicht: (2010)

Giáo trình logic học
von: Lê, Thanh Thập
Veröffentlicht: (2013)

Lôgic học đại cương
von: Vương, Tất Đạt
Veröffentlicht: (1998)

Logic học đại cương :
von: Phạm, Quỳnh
Veröffentlicht: (2014)

Giáo trình logic hình thức
von: Bùi, Thanh Quất
Veröffentlicht: (1994)

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

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

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

Fundamentals of logic design
von: Roth, Charles H

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

Lôgic học
von: Vương, Tất Đạt
Veröffentlicht: (2001)

Lôgic học
von: Vương, Tất Đạt
Veröffentlicht: (1998)

Introduction to logic design
von: Marcovitz, Alan B.
Veröffentlicht: (2002)

Introduction to logic design
von: Marcovitz, Alan B.
Veröffentlicht: (2005)

Fundamentals of logic design
von: Roth, Charles H.
Veröffentlicht: (1992)

Introduction to logic design
von: Marcovitz, Alan B.
Veröffentlicht: (2005)

Logic học đại cương
von: Phạm, Quỳnh
Veröffentlicht: (2014)

Symbolic logic
von: Agler, David W
Veröffentlicht: (2013)

The Power of Logic /
von: Layman, Stephen
Veröffentlicht: (2005)

Logic
von: Wesley C. Salmon
Veröffentlicht: (1984)

Logic
von: Priest, Graham
Veröffentlicht: (2000)

Logics
von: Nolt, John
Veröffentlicht: (1997)