טוען...

QR Code

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, et al.
יצא לאור: (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)