Laddar...

QR-kod

Specification of software systems

other_versions_link

Bibliografiska uppgifter
Huvudupphovsman:	Alagar, V S
Övriga upphovsmän:	Periyasamy, K
Materialtyp:	Printed Book
Språk:	English
Publicerad:	London Springer 2011
Upplaga:	2nd ed.
Ämnen:	Software specification Logic Temporal Logic

Liknande verk

Temporal information processing technology and its applications
av: Tang, Yong
Publicerad: (2010)

Specification of software systems /
av: Alagar, Vangalur S.
Publicerad: (1998)

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

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

Generating software from specifications
av: Kastens, Uwe
Publicerad: (2008)

THE CHALLENGE OF THE TEMPORAL PROCESS :PRINCIPAL MILLER LECTURES 1933
av: HOGG AG
Publicerad: (1934)

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

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

Annual Report 2013-14
Publicerad: (2014)

A system of logic: ratiocinative and inductive
av: John Stuart Mill
Publicerad: (2009)

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

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

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

Counterfactuals /
av: Lewis, David
Publicerad: (1973)

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

An introduction to logic and scientific method,
av: Cohen, Morris Raphael
Publicerad: (1934)

Introduction to logic
av: Joseph H W B
Publicerad: (2009)

Introduction to Logic
av: Copi,Copi
Publicerad: (1967)

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

Bharatiya tarkasastra parichay (an introduction to Indian logic)
av: Kedarnath Tiwari
Publicerad: (2005)

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

Methods of logic /
av: Quine, W. V.
Publicerad: (1972)

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

An introduction to software engineering /
av: Alagar, V S
Publicerad: (1987)

Systems of logic
av: Martin Norman M.
Publicerad: (1989)

System of logic /
av: Ueberweg, F.

System architecture : software and hardware concepts
av: Leigh,William E
Publicerad: (1988)

Form and validity in Indian logic
av: Vijay Bharadwaja
Publicerad: (1990)

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

Philosophical logic : an introduction to advanced topics /
av: Englebretsen, George
Publicerad: (2011)

A dictionary of philosophical logic
av: Cook, Roy T.
Publicerad: (2009)

Philosophy of logic.
av: Putnam, Hilary
Publicerad: (1972)

Philosophical logic : an introduction /
av: Wolfram, Sybil
Publicerad: (1989)

Logic /
av: Tomassi, Paul
Publicerad: (1999)

Introduction to logic /
av: Suppes, Patrick
Publicerad: (1957)

Logic /
av: Vatsyayan
Publicerad: (1981)

Logic : a very short introduction /
av: Priest, Graham
Publicerad: (2006)

Logic : deductive and inductive /
av: Read, Carveth
Publicerad: (1898)

The elements of logic /
av: Barker, Stephen Francis
Publicerad: (1974)

Logic /
Publicerad: (1972)