Lanean...

QR Kodea

Specification of software systems

other_versions_link

Xehetasun bibliografikoak
Egile nagusia:	Alagar, V S
Beste egile batzuk:	Periyasamy, K
Formatua:	Printed Book
Hizkuntza:	English
Argitaratua:	London Springer 2011
Edizioa:	2nd ed.
Gaiak:	Software specification Logic Temporal Logic

Antzeko izenburuak

Temporal information processing technology and its applications
nork: Tang, Yong
Argitaratua: (2010)

Specification of software systems /
nork: Alagar, Vangalur S.
Argitaratua: (1998)

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

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

Generating software from specifications
nork: Kastens, Uwe
Argitaratua: (2008)

THE CHALLENGE OF THE TEMPORAL PROCESS :PRINCIPAL MILLER LECTURES 1933
nork: HOGG AG
Argitaratua: (1934)

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

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

Annual Report 2013-14
Argitaratua: (2014)

A system of logic: ratiocinative and inductive
nork: John Stuart Mill
Argitaratua: (2009)

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

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

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

Counterfactuals /
nork: Lewis, David
Argitaratua: (1973)

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

An introduction to logic and scientific method,
nork: Cohen, Morris Raphael
Argitaratua: (1934)

Introduction to logic
nork: Joseph H W B
Argitaratua: (2009)

Introduction to Logic
nork: Copi,Copi
Argitaratua: (1967)

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

Bharatiya tarkasastra parichay (an introduction to Indian logic)
nork: Kedarnath Tiwari
Argitaratua: (2005)

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

Methods of logic /
nork: Quine, W. V.
Argitaratua: (1972)

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

An introduction to software engineering /
nork: Alagar, V S
Argitaratua: (1987)

Systems of logic
nork: Martin Norman M.
Argitaratua: (1989)

System of logic /
nork: Ueberweg, F.

System architecture : software and hardware concepts
nork: Leigh,William E
Argitaratua: (1988)

Form and validity in Indian logic
nork: Vijay Bharadwaja
Argitaratua: (1990)

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

Philosophical logic : an introduction to advanced topics /
nork: Englebretsen, George
Argitaratua: (2011)

A dictionary of philosophical logic
nork: Cook, Roy T.
Argitaratua: (2009)

Philosophy of logic.
nork: Putnam, Hilary
Argitaratua: (1972)

Philosophical logic : an introduction /
nork: Wolfram, Sybil
Argitaratua: (1989)

Logic /
nork: Tomassi, Paul
Argitaratua: (1999)

Introduction to logic /
nork: Suppes, Patrick
Argitaratua: (1957)

Logic /
nork: Vatsyayan
Argitaratua: (1981)

Logic : a very short introduction /
nork: Priest, Graham
Argitaratua: (2006)

Logic : deductive and inductive /
nork: Read, Carveth
Argitaratua: (1898)

The elements of logic /
nork: Barker, Stephen Francis
Argitaratua: (1974)

Logic /
Argitaratua: (1972)