Carregant...

Codi QR

Specification of software systems

other_versions_link

Dades bibliogràfiques
Autor principal:	Alagar, V S
Altres autors:	Periyasamy, K
Format:	Printed Book
Idioma:	English
Publicat:	London Springer 2011
Edició:	2nd ed.
Matèries:	Software specification Logic Temporal Logic

Ítems similars

Temporal information processing technology and its applications
per: Tang, Yong
Publicat: (2010)

Specification of software systems /
per: Alagar, Vangalur S.
Publicat: (1998)

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

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

Generating software from specifications
per: Kastens, Uwe
Publicat: (2008)

THE CHALLENGE OF THE TEMPORAL PROCESS :PRINCIPAL MILLER LECTURES 1933
per: HOGG AG
Publicat: (1934)

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

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

Annual Report 2013-14
Publicat: (2014)

A system of logic: ratiocinative and inductive
per: John Stuart Mill
Publicat: (2009)

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

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

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

Counterfactuals /
per: Lewis, David
Publicat: (1973)

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

An introduction to logic and scientific method,
per: Cohen, Morris Raphael
Publicat: (1934)

Introduction to logic
per: Joseph H W B
Publicat: (2009)

Introduction to Logic
per: Copi,Copi
Publicat: (1967)

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

Bharatiya tarkasastra parichay (an introduction to Indian logic)
per: Kedarnath Tiwari
Publicat: (2005)

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

Methods of logic /
per: Quine, W. V.
Publicat: (1972)

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

An introduction to software engineering /
per: Alagar, V S
Publicat: (1987)

Systems of logic
per: Martin Norman M.
Publicat: (1989)

System of logic /
per: Ueberweg, F.

System architecture : software and hardware concepts
per: Leigh,William E
Publicat: (1988)

Form and validity in Indian logic
per: Vijay Bharadwaja
Publicat: (1990)

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

Philosophical logic : an introduction to advanced topics /
per: Englebretsen, George
Publicat: (2011)

A dictionary of philosophical logic
per: Cook, Roy T.
Publicat: (2009)

Philosophy of logic.
per: Putnam, Hilary
Publicat: (1972)

Philosophical logic : an introduction /
per: Wolfram, Sybil
Publicat: (1989)

Logic /
per: Tomassi, Paul
Publicat: (1999)

Introduction to logic /
per: Suppes, Patrick
Publicat: (1957)

Logic /
per: Vatsyayan
Publicat: (1981)

Logic : a very short introduction /
per: Priest, Graham
Publicat: (2006)

Logic : deductive and inductive /
per: Read, Carveth
Publicat: (1898)

The elements of logic /
per: Barker, Stephen Francis
Publicat: (1974)

Logic /
Publicat: (1972)