ロード中...

QRコード

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, 等
出版事項: (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)