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

Codice QR

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

Salvato in:

Dettagli Bibliografici
Autore principale:	Honda, Kohei.
Altri autori:	Yoshida, Nobuko.
Natura:	Articolo
Lingua:	English
Soggetti:	Hennessy-Milner Hoare logics Logical full abstraction Relay-guarantee logic The pi-calculus
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne! !

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

Documenti analoghi

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

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

Programming logic and design, comprehensive
di: Farrell, Joyce
Pubblicazione: (2002)

Programming logic and design, introductory
di: Joyce Farrell
Pubblicazione: (2008)

Programming logic and design : comprehensive
di: Joyce Farrell
Pubblicazione: (2007)

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

A guide to programming logic and design :
di: Farrell, Joyce
Pubblicazione: (1999)

Logic học :
di: Lê, Ngọc Triết
Pubblicazione: (2013)

Hegel's logic :
di: Hegel, Georg Wilhelm Friedrich
Pubblicazione: (1975)

Programming logic and design
di: Farrell, Joyce

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

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

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

The power of logic
di: Layman, C. Stephen
Pubblicazione: (2005)

The Power of Logic
di: Layman, Stephen
Pubblicazione: (2005)

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

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

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

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

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

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

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

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

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

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

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

Fundamentals of logic design
di: Roth, Charles H

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

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

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

Introduction to logic design
di: Marcovitz, Alan B.
Pubblicazione: (2002)

Introduction to logic design
di: Marcovitz, Alan B.
Pubblicazione: (2005)

Fundamentals of logic design
di: Roth, Charles H.
Pubblicazione: (1992)

Introduction to logic design
di: Marcovitz, Alan B.
Pubblicazione: (2005)

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

Symbolic logic
di: Agler, David W
Pubblicazione: (2013)

The Power of Logic /
di: Layman, Stephen
Pubblicazione: (2005)

Logic
di: Wesley C. Salmon
Pubblicazione: (1984)

Logic
di: Priest, Graham
Pubblicazione: (2000)

Logics
di: Nolt, John
Pubblicazione: (1997)