Loading...

QR Code

Specification of software systems

other_versions_link

Bibliografiske detaljer
Hovedforfatter:	Alagar, V S
Andre forfattere:	Periyasamy, K
Format:	Printed Book
Sprog:	English
Udgivet:	London Springer 2011
Udgivelse:	2nd ed.
Fag:	Software specification Logic Temporal Logic

Lignende værker

Temporal information processing technology and its applications
af: Tang, Yong
Udgivet: (2010)

Specification of software systems /
af: Alagar, Vangalur S.
Udgivet: (1998)

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

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

Generating software from specifications
af: Kastens, Uwe
Udgivet: (2008)

THE CHALLENGE OF THE TEMPORAL PROCESS :PRINCIPAL MILLER LECTURES 1933
af: HOGG AG
Udgivet: (1934)

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

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

Annual Report 2013-14
Udgivet: (2014)

A system of logic: ratiocinative and inductive
af: John Stuart Mill
Udgivet: (2009)

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

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

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

Counterfactuals /
af: Lewis, David
Udgivet: (1973)

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

An introduction to logic and scientific method,
af: Cohen, Morris Raphael
Udgivet: (1934)

Introduction to logic
af: Joseph H W B
Udgivet: (2009)

Introduction to Logic
af: Copi,Copi
Udgivet: (1967)

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

Bharatiya tarkasastra parichay (an introduction to Indian logic)
af: Kedarnath Tiwari
Udgivet: (2005)

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

Methods of logic /
af: Quine, W. V.
Udgivet: (1972)

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

An introduction to software engineering /
af: Alagar, V S
Udgivet: (1987)

Systems of logic
af: Martin Norman M.
Udgivet: (1989)

System of logic /
af: Ueberweg, F.

System architecture : software and hardware concepts
af: Leigh,William E
Udgivet: (1988)

Form and validity in Indian logic
af: Vijay Bharadwaja
Udgivet: (1990)

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

Philosophical logic : an introduction to advanced topics /
af: Englebretsen, George
Udgivet: (2011)

A dictionary of philosophical logic
af: Cook, Roy T.
Udgivet: (2009)

Philosophy of logic.
af: Putnam, Hilary
Udgivet: (1972)

Philosophical logic : an introduction /
af: Wolfram, Sybil
Udgivet: (1989)

Logic /
af: Tomassi, Paul
Udgivet: (1999)

Introduction to logic /
af: Suppes, Patrick
Udgivet: (1957)

Logic /
af: Vatsyayan
Udgivet: (1981)

Logic : a very short introduction /
af: Priest, Graham
Udgivet: (2006)

Logic : deductive and inductive /
af: Read, Carveth
Udgivet: (1898)

The elements of logic /
af: Barker, Stephen Francis
Udgivet: (1974)

Logic /
Udgivet: (1972)