Wordt geladen...

Specification of software systems

Bibliografische gegevens
Hoofdauteur:	Alagar, V S
Andere auteurs:	Periyasamy, K
Formaat:	Printed Book
Taal:	English
Gepubliceerd in:	London Springer 2011
Editie:	2nd ed.
Onderwerpen:	Software specification Logic Temporal Logic

Gelijkaardige items

Wordt geladen...

Temporal information processing technology and its applications
door: Tang, Yong
Gepubliceerd in: (2010)

Wordt geladen...

Specification of software systems /
door: Alagar, Vangalur S.
Gepubliceerd in: (1998)

Wordt geladen...

Software specification and design : an engineering approach
door: Munson, John C.
Gepubliceerd in: (2006)

Wordt geladen...

Generating software from specifications
door: Kastens, Uwe; Author, et al.
Gepubliceerd in: (2008)

Wordt geladen...

Generating software from specifications
door: Kastens, Uwe
Gepubliceerd in: (2008)

Wordt geladen...

THE CHALLENGE OF THE TEMPORAL PROCESS :PRINCIPAL MILLER LECTURES 1933
door: HOGG AG
Gepubliceerd in: (1934)

Wordt geladen...

Software requirements,specification and testing proceedings of CSR workshop
door: Anderson, T.
Gepubliceerd in: (1985)

Wordt geladen...

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

Wordt geladen...

Annual Report 2013-14
Gepubliceerd in: (2014)

Wordt geladen...

A system of logic: ratiocinative and inductive
door: John Stuart Mill
Gepubliceerd in: (2009)

Wordt geladen...

Navya Nyaya System of logic : basic theories & techniques.
door: Guha, Dinesh Chandra
Gepubliceerd in: (1968)

Wordt geladen...

Navya Nyaya System of logic : basic theories & techniques.
door: Guha, Dinesh Chandra
Gepubliceerd in: (2016)

Wordt geladen...

Meaning and argument : an introduction to logic through language /
door: LePore, Ernest
Gepubliceerd in: (2009)

Wordt geladen...

Counterfactuals /
door: Lewis, David
Gepubliceerd in: (1973)

Wordt geladen...

Meaning and argument : an introduction to logic through language /
door: Lepore, Ernest
Gepubliceerd in: (2003)

Wordt geladen...

An introduction to logic and scientific method,
door: Cohen, Morris Raphael
Gepubliceerd in: (1934)

Wordt geladen...

Introduction to logic
door: Joseph H W B
Gepubliceerd in: (2009)

Wordt geladen...

Introduction to Logic
door: Copi,Copi
Gepubliceerd in: (1967)

Wordt geladen...

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

Wordt geladen...

Bharatiya tarkasastra parichay (an introduction to Indian logic)
door: Kedarnath Tiwari
Gepubliceerd in: (2005)

Wordt geladen...

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

Wordt geladen...

Methods of logic /
door: Quine, W. V.
Gepubliceerd in: (1972)

Wordt geladen...

Methods of logic/
door: Quine, W. V. (Willard Van Orman)
Gepubliceerd in: (1972)

Wordt geladen...

An introduction to software engineering /
door: Alagar, V S
Gepubliceerd in: (1987)

Wordt geladen...

Systems of logic
door: Martin Norman M.
Gepubliceerd in: (1989)

Wordt geladen...

System of logic /
door: Ueberweg, F.

Wordt geladen...

System architecture : software and hardware concepts
door: Leigh,William E
Gepubliceerd in: (1988)

Wordt geladen...

Form and validity in Indian logic
door: Vijay Bharadwaja
Gepubliceerd in: (1990)

Wordt geladen...

A history of Indian logic: ancient, mediaeval, and modern schools.
door: Vidyabhusana, Satis Chandra
Gepubliceerd in: (1971)

Wordt geladen...

Philosophical logic : an introduction to advanced topics /
door: Englebretsen, George
Gepubliceerd in: (2011)

Wordt geladen...

A dictionary of philosophical logic
door: Cook, Roy T.
Gepubliceerd in: (2009)

Wordt geladen...

Philosophy of logic.
door: Putnam, Hilary
Gepubliceerd in: (1972)

Wordt geladen...

Philosophical logic : an introduction /
door: Wolfram, Sybil
Gepubliceerd in: (1989)

Wordt geladen...

Logic /
door: Tomassi, Paul
Gepubliceerd in: (1999)

Wordt geladen...

Introduction to logic /
door: Suppes, Patrick
Gepubliceerd in: (1957)

Wordt geladen...

Logic /
door: Vatsyayan
Gepubliceerd in: (1981)

Wordt geladen...

Logic : a very short introduction /
door: Priest, Graham
Gepubliceerd in: (2006)

Wordt geladen...

Logic : deductive and inductive /
door: Read, Carveth
Gepubliceerd in: (1898)

Wordt geladen...

The elements of logic /
door: Barker, Stephen Francis
Gepubliceerd in: (1974)

Wordt geladen...

Logic /
Gepubliceerd in: (1972)