Chargement en cours...

Specification of software systems

Détails bibliographiques
Auteur principal:	Alagar, V S
Autres auteurs:	Periyasamy, K
Format:	Printed Book
Langue:	English
Publié:	London Springer 2011
Édition:	2nd ed.
Sujets:	Software specification Logic Temporal Logic

Documents similaires

Chargement en cours...

Temporal information processing technology and its applications
par: Tang, Yong
Publié: (2010)

Chargement en cours...

Specification of software systems /
par: Alagar, Vangalur S.
Publié: (1998)

Chargement en cours...

Software specification and design : an engineering approach
par: Munson, John C.
Publié: (2006)

Chargement en cours...

Generating software from specifications
par: Kastens, Uwe; Author, et autres
Publié: (2008)

Chargement en cours...

Generating software from specifications
par: Kastens, Uwe
Publié: (2008)

Chargement en cours...

THE CHALLENGE OF THE TEMPORAL PROCESS :PRINCIPAL MILLER LECTURES 1933
par: HOGG AG
Publié: (1934)

Chargement en cours...

Software requirements,specification and testing proceedings of CSR workshop
par: Anderson, T.
Publié: (1985)

Chargement en cours...

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

Chargement en cours...

Annual Report 2013-14
Publié: (2014)

Chargement en cours...

A system of logic: ratiocinative and inductive
par: John Stuart Mill
Publié: (2009)

Chargement en cours...

Navya Nyaya System of logic : basic theories & techniques.
par: Guha, Dinesh Chandra
Publié: (1968)

Chargement en cours...

Navya Nyaya System of logic : basic theories & techniques.
par: Guha, Dinesh Chandra
Publié: (2016)

Chargement en cours...

Meaning and argument : an introduction to logic through language /
par: LePore, Ernest
Publié: (2009)

Chargement en cours...

Counterfactuals /
par: Lewis, David
Publié: (1973)

Chargement en cours...

Meaning and argument : an introduction to logic through language /
par: Lepore, Ernest
Publié: (2003)

Chargement en cours...

An introduction to logic and scientific method,
par: Cohen, Morris Raphael
Publié: (1934)

Chargement en cours...

Introduction to logic
par: Joseph H W B
Publié: (2009)

Chargement en cours...

Introduction to Logic
par: Copi,Copi
Publié: (1967)

Chargement en cours...

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

Chargement en cours...

Bharatiya tarkasastra parichay (an introduction to Indian logic)
par: Kedarnath Tiwari
Publié: (2005)

Chargement en cours...

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

Chargement en cours...

Methods of logic /
par: Quine, W. V.
Publié: (1972)

Chargement en cours...

Methods of logic/
par: Quine, W. V. (Willard Van Orman)
Publié: (1972)

Chargement en cours...

An introduction to software engineering /
par: Alagar, V S
Publié: (1987)

Chargement en cours...

Systems of logic
par: Martin Norman M.
Publié: (1989)

Chargement en cours...

System of logic /
par: Ueberweg, F.

Chargement en cours...

System architecture : software and hardware concepts
par: Leigh,William E
Publié: (1988)

Chargement en cours...

Form and validity in Indian logic
par: Vijay Bharadwaja
Publié: (1990)

Chargement en cours...

A history of Indian logic: ancient, mediaeval, and modern schools.
par: Vidyabhusana, Satis Chandra
Publié: (1971)

Chargement en cours...

Philosophical logic : an introduction to advanced topics /
par: Englebretsen, George
Publié: (2011)

Chargement en cours...

A dictionary of philosophical logic
par: Cook, Roy T.
Publié: (2009)

Chargement en cours...

Philosophy of logic.
par: Putnam, Hilary
Publié: (1972)

Chargement en cours...

Philosophical logic : an introduction /
par: Wolfram, Sybil
Publié: (1989)

Chargement en cours...

Logic /
par: Tomassi, Paul
Publié: (1999)

Chargement en cours...

Introduction to logic /
par: Suppes, Patrick
Publié: (1957)

Chargement en cours...

Logic /
par: Vatsyayan
Publié: (1981)

Chargement en cours...

Logic : a very short introduction /
par: Priest, Graham
Publié: (2006)

Chargement en cours...

Logic : deductive and inductive /
par: Read, Carveth
Publié: (1898)

Chargement en cours...

The elements of logic /
par: Barker, Stephen Francis
Publié: (1974)

Chargement en cours...

Logic /
Publié: (1972)