載入...

QR Code

Specification of software systems

other_versions_link

書目詳細資料
主要作者:	Alagar, V S
其他作者:	Periyasamy, K
格式:	Printed Book
語言:	English
出版:	London Springer 2011
版:	2nd ed.
主題:	Software specification Logic Temporal Logic

相似書籍

Temporal information processing technology and its applications
由: Tang, Yong
出版: (2010)

Specification of software systems /
由: Alagar, Vangalur S.
出版: (1998)

Software specification and design : an engineering approach
由: Munson, John C.
出版: (2006)

Generating software from specifications
由: Kastens, Uwe; Author, et al.
出版: (2008)

Generating software from specifications
由: Kastens, Uwe
出版: (2008)

THE CHALLENGE OF THE TEMPORAL PROCESS :PRINCIPAL MILLER LECTURES 1933
由: HOGG AG
出版: (1934)

Software requirements,specification and testing proceedings of CSR workshop
由: Anderson, T.
出版: (1985)

Textbook on Pomology (Temperate Fruits) Vol.IV
出版: (1999)

Annual Report 2013-14
出版: (2014)

A system of logic: ratiocinative and inductive
由: John Stuart Mill
出版: (2009)

Navya Nyaya System of logic : basic theories & techniques.
由: Guha, Dinesh Chandra
出版: (1968)

Navya Nyaya System of logic : basic theories & techniques.
由: Guha, Dinesh Chandra
出版: (2016)

Meaning and argument : an introduction to logic through language /
由: LePore, Ernest
出版: (2009)

Counterfactuals /
由: Lewis, David
出版: (1973)

Meaning and argument : an introduction to logic through language /
由: Lepore, Ernest
出版: (2003)

An introduction to logic and scientific method,
由: Cohen, Morris Raphael
出版: (1934)

Introduction to logic
由: Joseph H W B
出版: (2009)

Introduction to Logic
由: Copi,Copi
出版: (1967)

Meaning and argument: an introduction to logic through language /
出版: (2009)

Bharatiya tarkasastra parichay (an introduction to Indian logic)
由: Kedarnath Tiwari
出版: (2005)

Forms of thought: a study in philosophical logic
由: Lowe E J

Methods of logic /
由: Quine, W. V.
出版: (1972)

Methods of logic/
由: Quine, W. V. (Willard Van Orman)
出版: (1972)

An introduction to software engineering /
由: Alagar, V S
出版: (1987)

Systems of logic
由: Martin Norman M.
出版: (1989)

System of logic /
由: Ueberweg, F.

System architecture : software and hardware concepts
由: Leigh,William E
出版: (1988)

Form and validity in Indian logic
由: Vijay Bharadwaja
出版: (1990)

A history of Indian logic: ancient, mediaeval, and modern schools.
由: Vidyabhusana, Satis Chandra
出版: (1971)

Philosophical logic : an introduction to advanced topics /
由: Englebretsen, George
出版: (2011)

A dictionary of philosophical logic
由: Cook, Roy T.
出版: (2009)

Philosophy of logic.
由: Putnam, Hilary
出版: (1972)

Philosophical logic : an introduction /
由: Wolfram, Sybil
出版: (1989)

Logic /
由: Tomassi, Paul
出版: (1999)

Introduction to logic /
由: Suppes, Patrick
出版: (1957)

Logic /
由: Vatsyayan
出版: (1981)

Logic : a very short introduction /
由: Priest, Graham
出版: (2006)

Logic : deductive and inductive /
由: Read, Carveth
出版: (1898)

The elements of logic /
由: Barker, Stephen Francis
出版: (1974)

Logic /
出版: (1972)