Á lódáil...

QR Code

Specification of software systems

other_versions_link

Sonraí Bibleagrafaíochta
Príomhúdar:	Alagar, V S
Údair Eile:	Periyasamy, K
Formáid:	Printed Book
Teanga:	English
Foilsithe:	London Springer 2011
Eagrán:	2nd ed.
Ábhair:	Software specification Logic Temporal Logic

Míreanna Comhchosúla

Temporal information processing technology and its applications
le: Tang, Yong
Foilsithe: (2010)

Specification of software systems /
le: Alagar, Vangalur S.
Foilsithe: (1998)

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

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

Generating software from specifications
le: Kastens, Uwe
Foilsithe: (2008)

THE CHALLENGE OF THE TEMPORAL PROCESS :PRINCIPAL MILLER LECTURES 1933
le: HOGG AG
Foilsithe: (1934)

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

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

Annual Report 2013-14
Foilsithe: (2014)

A system of logic: ratiocinative and inductive
le: John Stuart Mill
Foilsithe: (2009)

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

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

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

Counterfactuals /
le: Lewis, David
Foilsithe: (1973)

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

An introduction to logic and scientific method,
le: Cohen, Morris Raphael
Foilsithe: (1934)

Introduction to logic
le: Joseph H W B
Foilsithe: (2009)

Introduction to Logic
le: Copi,Copi
Foilsithe: (1967)

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

Bharatiya tarkasastra parichay (an introduction to Indian logic)
le: Kedarnath Tiwari
Foilsithe: (2005)

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

Methods of logic /
le: Quine, W. V.
Foilsithe: (1972)

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

An introduction to software engineering /
le: Alagar, V S
Foilsithe: (1987)

Systems of logic
le: Martin Norman M.
Foilsithe: (1989)

System of logic /
le: Ueberweg, F.

System architecture : software and hardware concepts
le: Leigh,William E
Foilsithe: (1988)

Form and validity in Indian logic
le: Vijay Bharadwaja
Foilsithe: (1990)

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

Philosophical logic : an introduction to advanced topics /
le: Englebretsen, George
Foilsithe: (2011)

A dictionary of philosophical logic
le: Cook, Roy T.
Foilsithe: (2009)

Philosophy of logic.
le: Putnam, Hilary
Foilsithe: (1972)

Philosophical logic : an introduction /
le: Wolfram, Sybil
Foilsithe: (1989)

Logic /
le: Tomassi, Paul
Foilsithe: (1999)

Introduction to logic /
le: Suppes, Patrick
Foilsithe: (1957)

Logic /
le: Vatsyayan
Foilsithe: (1981)

Logic : a very short introduction /
le: Priest, Graham
Foilsithe: (2006)

Logic : deductive and inductive /
le: Read, Carveth
Foilsithe: (1898)

The elements of logic /
le: Barker, Stephen Francis
Foilsithe: (1974)

Logic /
Foilsithe: (1972)