Caricamento...

Codice QR

Specification of software systems

other_versions_link

Dettagli Bibliografici
Autore principale:	Alagar, V S
Altri autori:	Periyasamy, K
Natura:	Printed Book
Lingua:	English
Pubblicazione:	London Springer 2011
Edizione:	2nd ed.
Soggetti:	Software specification Logic Temporal Logic

Documenti analoghi

Temporal information processing technology and its applications
di: Tang, Yong
Pubblicazione: (2010)

Specification of software systems /
di: Alagar, Vangalur S.
Pubblicazione: (1998)

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

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

Generating software from specifications
di: Kastens, Uwe
Pubblicazione: (2008)

THE CHALLENGE OF THE TEMPORAL PROCESS :PRINCIPAL MILLER LECTURES 1933
di: HOGG AG
Pubblicazione: (1934)

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

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

Annual Report 2013-14
Pubblicazione: (2014)

A system of logic: ratiocinative and inductive
di: John Stuart Mill
Pubblicazione: (2009)

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

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

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

Counterfactuals /
di: Lewis, David
Pubblicazione: (1973)

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

An introduction to logic and scientific method,
di: Cohen, Morris Raphael
Pubblicazione: (1934)

Introduction to logic
di: Joseph H W B
Pubblicazione: (2009)

Introduction to Logic
di: Copi,Copi
Pubblicazione: (1967)

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

Bharatiya tarkasastra parichay (an introduction to Indian logic)
di: Kedarnath Tiwari
Pubblicazione: (2005)

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

Methods of logic /
di: Quine, W. V.
Pubblicazione: (1972)

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

An introduction to software engineering /
di: Alagar, V S
Pubblicazione: (1987)

Systems of logic
di: Martin Norman M.
Pubblicazione: (1989)

System of logic /
di: Ueberweg, F.

System architecture : software and hardware concepts
di: Leigh,William E
Pubblicazione: (1988)

Form and validity in Indian logic
di: Vijay Bharadwaja
Pubblicazione: (1990)

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

Philosophical logic : an introduction to advanced topics /
di: Englebretsen, George
Pubblicazione: (2011)

A dictionary of philosophical logic
di: Cook, Roy T.
Pubblicazione: (2009)

Philosophy of logic.
di: Putnam, Hilary
Pubblicazione: (1972)

Philosophical logic : an introduction /
di: Wolfram, Sybil
Pubblicazione: (1989)

Logic /
di: Tomassi, Paul
Pubblicazione: (1999)

Introduction to logic /
di: Suppes, Patrick
Pubblicazione: (1957)

Logic /
di: Vatsyayan
Pubblicazione: (1981)

Logic : a very short introduction /
di: Priest, Graham
Pubblicazione: (2006)

Logic : deductive and inductive /
di: Read, Carveth
Pubblicazione: (1898)

The elements of logic /
di: Barker, Stephen Francis
Pubblicazione: (1974)

Logic /
Pubblicazione: (1972)