Đang tải...

Mã QR

Specification of software systems

other_versions_link

Chi tiết về thư mục
Tác giả chính:	Alagar, V S
Tác giả khác:	Periyasamy, K
Định dạng:	Printed Book
Ngôn ngữ:	English
Được phát hành:	London Springer 2011
Phiên bản:	2nd ed.
Những chủ đề:	Software specification Logic Temporal Logic

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

Temporal information processing technology and its applications
Bằng: Tang, Yong
Được phát hành: (2010)

Specification of software systems /
Bằng: Alagar, Vangalur S.
Được phát hành: (1998)

Software specification and design : an engineering approach
Bằng: Munson, John C.
Được phát hành: (2006)

Generating software from specifications
Bằng: Kastens, Uwe; Author, et al.
Được phát hành: (2008)

Generating software from specifications
Bằng: Kastens, Uwe
Được phát hành: (2008)

THE CHALLENGE OF THE TEMPORAL PROCESS :PRINCIPAL MILLER LECTURES 1933
Bằng: HOGG AG
Được phát hành: (1934)

Software requirements,specification and testing proceedings of CSR workshop
Bằng: Anderson, T.
Được phát hành: (1985)

Textbook on Pomology (Temperate Fruits) Vol.IV
Được phát hành: (1999)

Annual Report 2013-14
Được phát hành: (2014)

A system of logic: ratiocinative and inductive
Bằng: John Stuart Mill
Được phát hành: (2009)

Navya Nyaya System of logic : basic theories & techniques.
Bằng: Guha, Dinesh Chandra
Được phát hành: (1968)

Navya Nyaya System of logic : basic theories & techniques.
Bằng: Guha, Dinesh Chandra
Được phát hành: (2016)

Meaning and argument : an introduction to logic through language /
Bằng: LePore, Ernest
Được phát hành: (2009)

Counterfactuals /
Bằng: Lewis, David
Được phát hành: (1973)

Meaning and argument : an introduction to logic through language /
Bằng: Lepore, Ernest
Được phát hành: (2003)

An introduction to logic and scientific method,
Bằng: Cohen, Morris Raphael
Được phát hành: (1934)

Introduction to logic
Bằng: Joseph H W B
Được phát hành: (2009)

Introduction to Logic
Bằng: Copi,Copi
Được phát hành: (1967)

Meaning and argument: an introduction to logic through language /
Được phát hành: (2009)

Bharatiya tarkasastra parichay (an introduction to Indian logic)
Bằng: Kedarnath Tiwari
Được phát hành: (2005)

Forms of thought: a study in philosophical logic
Bằng: Lowe E J

Methods of logic /
Bằng: Quine, W. V.
Được phát hành: (1972)

Methods of logic/
Bằng: Quine, W. V. (Willard Van Orman)
Được phát hành: (1972)

An introduction to software engineering /
Bằng: Alagar, V S
Được phát hành: (1987)

Systems of logic
Bằng: Martin Norman M.
Được phát hành: (1989)

System of logic /
Bằng: Ueberweg, F.

System architecture : software and hardware concepts
Bằng: Leigh,William E
Được phát hành: (1988)

Form and validity in Indian logic
Bằng: Vijay Bharadwaja
Được phát hành: (1990)

A history of Indian logic: ancient, mediaeval, and modern schools.
Bằng: Vidyabhusana, Satis Chandra
Được phát hành: (1971)

Philosophical logic : an introduction to advanced topics /
Bằng: Englebretsen, George
Được phát hành: (2011)

A dictionary of philosophical logic
Bằng: Cook, Roy T.
Được phát hành: (2009)

Philosophy of logic.
Bằng: Putnam, Hilary
Được phát hành: (1972)

Philosophical logic : an introduction /
Bằng: Wolfram, Sybil
Được phát hành: (1989)

Logic /
Bằng: Tomassi, Paul
Được phát hành: (1999)

Introduction to logic /
Bằng: Suppes, Patrick
Được phát hành: (1957)

Logic /
Bằng: Vatsyayan
Được phát hành: (1981)

Logic : a very short introduction /
Bằng: Priest, Graham
Được phát hành: (2006)

Logic : deductive and inductive /
Bằng: Read, Carveth
Được phát hành: (1898)

The elements of logic /
Bằng: Barker, Stephen Francis
Được phát hành: (1974)

Logic /
Được phát hành: (1972)