A carregar...

Código QR

Specification of software systems

other_versions_link

Detalhes bibliográficos
Autor principal:	Alagar, V S
Outros Autores:	Periyasamy, K
Formato:	Printed Book
Idioma:	English
Publicado em:	London Springer 2011
Edição:	2nd ed.
Assuntos:	Software specification Logic Temporal Logic

Registos relacionados

Temporal information processing technology and its applications
Por: Tang, Yong
Publicado em: (2010)

Specification of software systems /
Por: Alagar, Vangalur S.
Publicado em: (1998)

Software specification and design : an engineering approach
Por: Munson, John C.
Publicado em: (2006)

Generating software from specifications
Por: Kastens, Uwe; Author, et al.
Publicado em: (2008)

Generating software from specifications
Por: Kastens, Uwe
Publicado em: (2008)

THE CHALLENGE OF THE TEMPORAL PROCESS :PRINCIPAL MILLER LECTURES 1933
Por: HOGG AG
Publicado em: (1934)

Software requirements,specification and testing proceedings of CSR workshop
Por: Anderson, T.
Publicado em: (1985)

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

Annual Report 2013-14
Publicado em: (2014)

A system of logic: ratiocinative and inductive
Por: John Stuart Mill
Publicado em: (2009)

Navya Nyaya System of logic : basic theories & techniques.
Por: Guha, Dinesh Chandra
Publicado em: (1968)

Navya Nyaya System of logic : basic theories & techniques.
Por: Guha, Dinesh Chandra
Publicado em: (2016)

Meaning and argument : an introduction to logic through language /
Por: LePore, Ernest
Publicado em: (2009)

Counterfactuals /
Por: Lewis, David
Publicado em: (1973)

Meaning and argument : an introduction to logic through language /
Por: Lepore, Ernest
Publicado em: (2003)

An introduction to logic and scientific method,
Por: Cohen, Morris Raphael
Publicado em: (1934)

Introduction to logic
Por: Joseph H W B
Publicado em: (2009)

Introduction to Logic
Por: Copi,Copi
Publicado em: (1967)

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

Bharatiya tarkasastra parichay (an introduction to Indian logic)
Por: Kedarnath Tiwari
Publicado em: (2005)

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

Methods of logic /
Por: Quine, W. V.
Publicado em: (1972)

Methods of logic/
Por: Quine, W. V. (Willard Van Orman)
Publicado em: (1972)

An introduction to software engineering /
Por: Alagar, V S
Publicado em: (1987)

Systems of logic
Por: Martin Norman M.
Publicado em: (1989)

System of logic /
Por: Ueberweg, F.

System architecture : software and hardware concepts
Por: Leigh,William E
Publicado em: (1988)

Form and validity in Indian logic
Por: Vijay Bharadwaja
Publicado em: (1990)

A history of Indian logic: ancient, mediaeval, and modern schools.
Por: Vidyabhusana, Satis Chandra
Publicado em: (1971)

Philosophical logic : an introduction to advanced topics /
Por: Englebretsen, George
Publicado em: (2011)

A dictionary of philosophical logic
Por: Cook, Roy T.
Publicado em: (2009)

Philosophy of logic.
Por: Putnam, Hilary
Publicado em: (1972)

Philosophical logic : an introduction /
Por: Wolfram, Sybil
Publicado em: (1989)

Logic /
Por: Tomassi, Paul
Publicado em: (1999)

Introduction to logic /
Por: Suppes, Patrick
Publicado em: (1957)

Logic /
Por: Vatsyayan
Publicado em: (1981)

Logic : a very short introduction /
Por: Priest, Graham
Publicado em: (2006)

Logic : deductive and inductive /
Por: Read, Carveth
Publicado em: (1898)

The elements of logic /
Por: Barker, Stephen Francis
Publicado em: (1974)

Logic /
Publicado em: (1972)