Nalaganje...

QR koda

Specification of software systems

other_versions_link

Bibliografske podrobnosti
Glavni avtor:	Alagar, V S
Drugi avtorji:	Periyasamy, K
Format:	Printed Book
Jezik:	English
Izdano:	London Springer 2011
Izdaja:	2nd ed.
Teme:	Software specification Logic Temporal Logic

Podobne knjige/članki

Temporal information processing technology and its applications
od: Tang, Yong
Izdano: (2010)

Specification of software systems /
od: Alagar, Vangalur S.
Izdano: (1998)

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

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

Generating software from specifications
od: Kastens, Uwe
Izdano: (2008)

THE CHALLENGE OF THE TEMPORAL PROCESS :PRINCIPAL MILLER LECTURES 1933
od: HOGG AG
Izdano: (1934)

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

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

Annual Report 2013-14
Izdano: (2014)

A system of logic: ratiocinative and inductive
od: John Stuart Mill
Izdano: (2009)

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

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

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

Counterfactuals /
od: Lewis, David
Izdano: (1973)

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

An introduction to logic and scientific method,
od: Cohen, Morris Raphael
Izdano: (1934)

Introduction to logic
od: Joseph H W B
Izdano: (2009)

Introduction to Logic
od: Copi,Copi
Izdano: (1967)

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

Bharatiya tarkasastra parichay (an introduction to Indian logic)
od: Kedarnath Tiwari
Izdano: (2005)

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

Methods of logic /
od: Quine, W. V.
Izdano: (1972)

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

An introduction to software engineering /
od: Alagar, V S
Izdano: (1987)

Systems of logic
od: Martin Norman M.
Izdano: (1989)

System of logic /
od: Ueberweg, F.

System architecture : software and hardware concepts
od: Leigh,William E
Izdano: (1988)

Form and validity in Indian logic
od: Vijay Bharadwaja
Izdano: (1990)

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

Philosophical logic : an introduction to advanced topics /
od: Englebretsen, George
Izdano: (2011)

A dictionary of philosophical logic
od: Cook, Roy T.
Izdano: (2009)

Philosophy of logic.
od: Putnam, Hilary
Izdano: (1972)

Philosophical logic : an introduction /
od: Wolfram, Sybil
Izdano: (1989)

Logic /
od: Tomassi, Paul
Izdano: (1999)

Introduction to logic /
od: Suppes, Patrick
Izdano: (1957)

Logic /
od: Vatsyayan
Izdano: (1981)

Logic : a very short introduction /
od: Priest, Graham
Izdano: (2006)

Logic : deductive and inductive /
od: Read, Carveth
Izdano: (1898)

The elements of logic /
od: Barker, Stephen Francis
Izdano: (1974)

Logic /
Izdano: (1972)