Llwytho...

Côd QR

Specification of software systems

other_versions_link

Manylion Llyfryddiaeth
Prif Awdur:	Alagar, V S
Awduron Eraill:	Periyasamy, K
Fformat:	Printed Book
Iaith:	English
Cyhoeddwyd:	London Springer 2011
Rhifyn:	2nd ed.
Pynciau:	Software specification Logic Temporal Logic

Eitemau Tebyg

Temporal information processing technology and its applications
gan: Tang, Yong
Cyhoeddwyd: (2010)

Specification of software systems /
gan: Alagar, Vangalur S.
Cyhoeddwyd: (1998)

Software specification and design : an engineering approach
gan: Munson, John C.
Cyhoeddwyd: (2006)

Generating software from specifications
gan: Kastens, Uwe; Author, et al.
Cyhoeddwyd: (2008)

Generating software from specifications
gan: Kastens, Uwe
Cyhoeddwyd: (2008)

THE CHALLENGE OF THE TEMPORAL PROCESS :PRINCIPAL MILLER LECTURES 1933
gan: HOGG AG
Cyhoeddwyd: (1934)

Software requirements,specification and testing proceedings of CSR workshop
gan: Anderson, T.
Cyhoeddwyd: (1985)

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

Annual Report 2013-14
Cyhoeddwyd: (2014)

A system of logic: ratiocinative and inductive
gan: John Stuart Mill
Cyhoeddwyd: (2009)

Navya Nyaya System of logic : basic theories & techniques.
gan: Guha, Dinesh Chandra
Cyhoeddwyd: (1968)

Navya Nyaya System of logic : basic theories & techniques.
gan: Guha, Dinesh Chandra
Cyhoeddwyd: (2016)

Meaning and argument : an introduction to logic through language /
gan: LePore, Ernest
Cyhoeddwyd: (2009)

Counterfactuals /
gan: Lewis, David
Cyhoeddwyd: (1973)

Meaning and argument : an introduction to logic through language /
gan: Lepore, Ernest
Cyhoeddwyd: (2003)

An introduction to logic and scientific method,
gan: Cohen, Morris Raphael
Cyhoeddwyd: (1934)

Introduction to logic
gan: Joseph H W B
Cyhoeddwyd: (2009)

Introduction to Logic
gan: Copi,Copi
Cyhoeddwyd: (1967)

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

Bharatiya tarkasastra parichay (an introduction to Indian logic)
gan: Kedarnath Tiwari
Cyhoeddwyd: (2005)

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

Methods of logic /
gan: Quine, W. V.
Cyhoeddwyd: (1972)

Methods of logic/
gan: Quine, W. V. (Willard Van Orman)
Cyhoeddwyd: (1972)

An introduction to software engineering /
gan: Alagar, V S
Cyhoeddwyd: (1987)

Systems of logic
gan: Martin Norman M.
Cyhoeddwyd: (1989)

System of logic /
gan: Ueberweg, F.

System architecture : software and hardware concepts
gan: Leigh,William E
Cyhoeddwyd: (1988)

Form and validity in Indian logic
gan: Vijay Bharadwaja
Cyhoeddwyd: (1990)

A history of Indian logic: ancient, mediaeval, and modern schools.
gan: Vidyabhusana, Satis Chandra
Cyhoeddwyd: (1971)

Philosophical logic : an introduction to advanced topics /
gan: Englebretsen, George
Cyhoeddwyd: (2011)

A dictionary of philosophical logic
gan: Cook, Roy T.
Cyhoeddwyd: (2009)

Philosophy of logic.
gan: Putnam, Hilary
Cyhoeddwyd: (1972)

Philosophical logic : an introduction /
gan: Wolfram, Sybil
Cyhoeddwyd: (1989)

Logic /
gan: Tomassi, Paul
Cyhoeddwyd: (1999)

Introduction to logic /
gan: Suppes, Patrick
Cyhoeddwyd: (1957)

Logic /
gan: Vatsyayan
Cyhoeddwyd: (1981)

Logic : a very short introduction /
gan: Priest, Graham
Cyhoeddwyd: (2006)

Logic : deductive and inductive /
gan: Read, Carveth
Cyhoeddwyd: (1898)

The elements of logic /
gan: Barker, Stephen Francis
Cyhoeddwyd: (1974)

Logic /
Cyhoeddwyd: (1972)