Lataa...

QR-koodi

Specification of software systems

other_versions_link

Bibliografiset tiedot
Päätekijä:	Alagar, V S
Muut tekijät:	Periyasamy, K
Aineistotyyppi:	Printed Book
Kieli:	English
Julkaistu:	London Springer 2011
Painos:	2nd ed.
Aiheet:	Software specification Logic Temporal Logic

Samankaltaisia teoksia

Temporal information processing technology and its applications
Tekijä: Tang, Yong
Julkaistu: (2010)

Specification of software systems /
Tekijä: Alagar, Vangalur S.
Julkaistu: (1998)

Software specification and design : an engineering approach
Tekijä: Munson, John C.
Julkaistu: (2006)

Generating software from specifications
Tekijä: Kastens, Uwe; Author, et al.
Julkaistu: (2008)

Generating software from specifications
Tekijä: Kastens, Uwe
Julkaistu: (2008)

THE CHALLENGE OF THE TEMPORAL PROCESS :PRINCIPAL MILLER LECTURES 1933
Tekijä: HOGG AG
Julkaistu: (1934)

Software requirements,specification and testing proceedings of CSR workshop
Tekijä: Anderson, T.
Julkaistu: (1985)

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

Annual Report 2013-14
Julkaistu: (2014)

A system of logic: ratiocinative and inductive
Tekijä: John Stuart Mill
Julkaistu: (2009)

Navya Nyaya System of logic : basic theories & techniques.
Tekijä: Guha, Dinesh Chandra
Julkaistu: (1968)

Navya Nyaya System of logic : basic theories & techniques.
Tekijä: Guha, Dinesh Chandra
Julkaistu: (2016)

Meaning and argument : an introduction to logic through language /
Tekijä: LePore, Ernest
Julkaistu: (2009)

Counterfactuals /
Tekijä: Lewis, David
Julkaistu: (1973)

Meaning and argument : an introduction to logic through language /
Tekijä: Lepore, Ernest
Julkaistu: (2003)

An introduction to logic and scientific method,
Tekijä: Cohen, Morris Raphael
Julkaistu: (1934)

Introduction to logic
Tekijä: Joseph H W B
Julkaistu: (2009)

Introduction to Logic
Tekijä: Copi,Copi
Julkaistu: (1967)

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

Bharatiya tarkasastra parichay (an introduction to Indian logic)
Tekijä: Kedarnath Tiwari
Julkaistu: (2005)

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

Methods of logic /
Tekijä: Quine, W. V.
Julkaistu: (1972)

Methods of logic/
Tekijä: Quine, W. V. (Willard Van Orman)
Julkaistu: (1972)

An introduction to software engineering /
Tekijä: Alagar, V S
Julkaistu: (1987)

Systems of logic
Tekijä: Martin Norman M.
Julkaistu: (1989)

System of logic /
Tekijä: Ueberweg, F.

System architecture : software and hardware concepts
Tekijä: Leigh,William E
Julkaistu: (1988)

Form and validity in Indian logic
Tekijä: Vijay Bharadwaja
Julkaistu: (1990)

A history of Indian logic: ancient, mediaeval, and modern schools.
Tekijä: Vidyabhusana, Satis Chandra
Julkaistu: (1971)

Philosophical logic : an introduction to advanced topics /
Tekijä: Englebretsen, George
Julkaistu: (2011)

A dictionary of philosophical logic
Tekijä: Cook, Roy T.
Julkaistu: (2009)

Philosophy of logic.
Tekijä: Putnam, Hilary
Julkaistu: (1972)

Philosophical logic : an introduction /
Tekijä: Wolfram, Sybil
Julkaistu: (1989)

Logic /
Tekijä: Tomassi, Paul
Julkaistu: (1999)

Introduction to logic /
Tekijä: Suppes, Patrick
Julkaistu: (1957)

Logic /
Tekijä: Vatsyayan
Julkaistu: (1981)

Logic : a very short introduction /
Tekijä: Priest, Graham
Julkaistu: (2006)

Logic : deductive and inductive /
Tekijä: Read, Carveth
Julkaistu: (1898)

The elements of logic /
Tekijä: Barker, Stephen Francis
Julkaistu: (1974)

Logic /
Julkaistu: (1972)