تحميل...

QR رمز

Specification of software systems

other_versions_link

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Alagar, V S
مؤلفون آخرون:	Periyasamy, K
التنسيق:	Printed Book
اللغة:	English
منشور في:	London Springer 2011
الطبعة:	2nd ed.
الموضوعات:	Software specification Logic Temporal Logic

مواد مشابهة

Temporal information processing technology and its applications
بواسطة: Tang, Yong
منشور في: (2010)

Specification of software systems /
بواسطة: Alagar, Vangalur S.
منشور في: (1998)

Software specification and design : an engineering approach
بواسطة: Munson, John C.
منشور في: (2006)

Generating software from specifications
بواسطة: Kastens, Uwe; Author, وآخرون
منشور في: (2008)

Generating software from specifications
بواسطة: Kastens, Uwe
منشور في: (2008)

THE CHALLENGE OF THE TEMPORAL PROCESS :PRINCIPAL MILLER LECTURES 1933
بواسطة: HOGG AG
منشور في: (1934)

Software requirements,specification and testing proceedings of CSR workshop
بواسطة: Anderson, T.
منشور في: (1985)

Textbook on Pomology (Temperate Fruits) Vol.IV
منشور في: (1999)

Annual Report 2013-14
منشور في: (2014)

A system of logic: ratiocinative and inductive
بواسطة: John Stuart Mill
منشور في: (2009)

Navya Nyaya System of logic : basic theories & techniques.
بواسطة: Guha, Dinesh Chandra
منشور في: (1968)

Navya Nyaya System of logic : basic theories & techniques.
بواسطة: Guha, Dinesh Chandra
منشور في: (2016)

Meaning and argument : an introduction to logic through language /
بواسطة: LePore, Ernest
منشور في: (2009)

Counterfactuals /
بواسطة: Lewis, David
منشور في: (1973)

Meaning and argument : an introduction to logic through language /
بواسطة: Lepore, Ernest
منشور في: (2003)

An introduction to logic and scientific method,
بواسطة: Cohen, Morris Raphael
منشور في: (1934)

Introduction to logic
بواسطة: Joseph H W B
منشور في: (2009)

Introduction to Logic
بواسطة: Copi,Copi
منشور في: (1967)

Meaning and argument: an introduction to logic through language /
منشور في: (2009)

Bharatiya tarkasastra parichay (an introduction to Indian logic)
بواسطة: Kedarnath Tiwari
منشور في: (2005)

Forms of thought: a study in philosophical logic
بواسطة: Lowe E J

Methods of logic /
بواسطة: Quine, W. V.
منشور في: (1972)

Methods of logic/
بواسطة: Quine, W. V. (Willard Van Orman)
منشور في: (1972)

An introduction to software engineering /
بواسطة: Alagar, V S
منشور في: (1987)

Systems of logic
بواسطة: Martin Norman M.
منشور في: (1989)

System of logic /
بواسطة: Ueberweg, F.

System architecture : software and hardware concepts
بواسطة: Leigh,William E
منشور في: (1988)

Form and validity in Indian logic
بواسطة: Vijay Bharadwaja
منشور في: (1990)

A history of Indian logic: ancient, mediaeval, and modern schools.
بواسطة: Vidyabhusana, Satis Chandra
منشور في: (1971)

Philosophical logic : an introduction to advanced topics /
بواسطة: Englebretsen, George
منشور في: (2011)

A dictionary of philosophical logic
بواسطة: Cook, Roy T.
منشور في: (2009)

Philosophy of logic.
بواسطة: Putnam, Hilary
منشور في: (1972)

Philosophical logic : an introduction /
بواسطة: Wolfram, Sybil
منشور في: (1989)

Logic /
بواسطة: Tomassi, Paul
منشور في: (1999)

Introduction to logic /
بواسطة: Suppes, Patrick
منشور في: (1957)

Logic /
بواسطة: Vatsyayan
منشور في: (1981)

Logic : a very short introduction /
بواسطة: Priest, Graham
منشور في: (2006)

Logic : deductive and inductive /
بواسطة: Read, Carveth
منشور في: (1898)

The elements of logic /
بواسطة: Barker, Stephen Francis
منشور في: (1974)

Logic /
منشور في: (1972)