Loading...

QR Code

Specification of software systems

other_versions_link

Bibliographic Details
Main Author:	Alagar, V S
Other Authors:	Periyasamy, K
Format:	Printed Book
Language:	English
Published:	London Springer 2011
Edition:	2nd ed.
Subjects:	Software specification Logic Temporal Logic

Similar Items

Temporal information processing technology and its applications
by: Tang, Yong
Published: (2010)

Specification of software systems /
by: Alagar, Vangalur S.
Published: (1998)

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

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

Generating software from specifications
by: Kastens, Uwe
Published: (2008)

THE CHALLENGE OF THE TEMPORAL PROCESS :PRINCIPAL MILLER LECTURES 1933
by: HOGG AG
Published: (1934)

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

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

Annual Report 2013-14
Published: (2014)

A system of logic: ratiocinative and inductive
by: John Stuart Mill
Published: (2009)

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

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

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

Counterfactuals /
by: Lewis, David
Published: (1973)

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

An introduction to logic and scientific method,
by: Cohen, Morris Raphael
Published: (1934)

Introduction to logic
by: Joseph H W B
Published: (2009)

Introduction to Logic
by: Copi,Copi
Published: (1967)

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

Bharatiya tarkasastra parichay (an introduction to Indian logic)
by: Kedarnath Tiwari
Published: (2005)

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

Methods of logic /
by: Quine, W. V.
Published: (1972)

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

An introduction to software engineering /
by: Alagar, V S
Published: (1987)

Systems of logic
by: Martin Norman M.
Published: (1989)

System of logic /
by: Ueberweg, F.

System architecture : software and hardware concepts
by: Leigh,William E
Published: (1988)

Form and validity in Indian logic
by: Vijay Bharadwaja
Published: (1990)

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

Philosophical logic : an introduction to advanced topics /
by: Englebretsen, George
Published: (2011)

A dictionary of philosophical logic
by: Cook, Roy T.
Published: (2009)

Philosophy of logic.
by: Putnam, Hilary
Published: (1972)

Philosophical logic : an introduction /
by: Wolfram, Sybil
Published: (1989)

Logic /
by: Tomassi, Paul
Published: (1999)

Introduction to logic /
by: Suppes, Patrick
Published: (1957)

Logic /
by: Vatsyayan
Published: (1981)

Logic : a very short introduction /
by: Priest, Graham
Published: (2006)

Logic : deductive and inductive /
by: Read, Carveth
Published: (1898)

The elements of logic /
by: Barker, Stephen Francis
Published: (1974)

Logic /
Published: (1972)