Načítá se...

QR kód

Specification of software systems

other_versions_link

Podrobná bibliografie
Hlavní autor:	Alagar, V S
Další autoři:	Periyasamy, K
Médium:	Printed Book
Jazyk:	English
Vydáno:	London Springer 2011
Vydání:	2nd ed.
Témata:	Software specification Logic Temporal Logic

Podobné jednotky

Načítá se...

Temporal information processing technology and its applications
Autor: Tang, Yong
Vydáno: (2010)

Načítá se...

Specification of software systems /
Autor: Alagar, Vangalur S.
Vydáno: (1998)

Načítá se...

Software specification and design : an engineering approach
Autor: Munson, John C.
Vydáno: (2006)

Načítá se...

Generating software from specifications
Autor: Kastens, Uwe; Author, a další
Vydáno: (2008)

Načítá se...

Generating software from specifications
Autor: Kastens, Uwe
Vydáno: (2008)

Načítá se...

THE CHALLENGE OF THE TEMPORAL PROCESS :PRINCIPAL MILLER LECTURES 1933
Autor: HOGG AG
Vydáno: (1934)

Načítá se...

Software requirements,specification and testing proceedings of CSR workshop
Autor: Anderson, T.
Vydáno: (1985)

Načítá se...

Textbook on Pomology (Temperate Fruits) Vol.IV
Vydáno: (1999)

Načítá se...

Annual Report 2013-14
Vydáno: (2014)

Načítá se...

A system of logic: ratiocinative and inductive
Autor: John Stuart Mill
Vydáno: (2009)

Načítá se...

Navya Nyaya System of logic : basic theories & techniques.
Autor: Guha, Dinesh Chandra
Vydáno: (1968)

Načítá se...

Navya Nyaya System of logic : basic theories & techniques.
Autor: Guha, Dinesh Chandra
Vydáno: (2016)

Načítá se...

Meaning and argument : an introduction to logic through language /
Autor: LePore, Ernest
Vydáno: (2009)

Načítá se...

Counterfactuals /
Autor: Lewis, David
Vydáno: (1973)

Načítá se...

Meaning and argument : an introduction to logic through language /
Autor: Lepore, Ernest
Vydáno: (2003)

Načítá se...

An introduction to logic and scientific method,
Autor: Cohen, Morris Raphael
Vydáno: (1934)

Načítá se...

Introduction to logic
Autor: Joseph H W B
Vydáno: (2009)

Načítá se...

Introduction to Logic
Autor: Copi,Copi
Vydáno: (1967)

Načítá se...

Meaning and argument: an introduction to logic through language /
Vydáno: (2009)

Načítá se...

Bharatiya tarkasastra parichay (an introduction to Indian logic)
Autor: Kedarnath Tiwari
Vydáno: (2005)

Načítá se...

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

Načítá se...

Methods of logic /
Autor: Quine, W. V.
Vydáno: (1972)

Načítá se...

Methods of logic/
Autor: Quine, W. V. (Willard Van Orman)
Vydáno: (1972)

Načítá se...

An introduction to software engineering /
Autor: Alagar, V S
Vydáno: (1987)

Načítá se...

Systems of logic
Autor: Martin Norman M.
Vydáno: (1989)

Načítá se...

System of logic /
Autor: Ueberweg, F.

Načítá se...

System architecture : software and hardware concepts
Autor: Leigh,William E
Vydáno: (1988)

Načítá se...

Form and validity in Indian logic
Autor: Vijay Bharadwaja
Vydáno: (1990)

Načítá se...

A history of Indian logic: ancient, mediaeval, and modern schools.
Autor: Vidyabhusana, Satis Chandra
Vydáno: (1971)

Načítá se...

Philosophical logic : an introduction to advanced topics /
Autor: Englebretsen, George
Vydáno: (2011)

Načítá se...

A dictionary of philosophical logic
Autor: Cook, Roy T.
Vydáno: (2009)

Načítá se...

Philosophy of logic.
Autor: Putnam, Hilary
Vydáno: (1972)

Načítá se...

Philosophical logic : an introduction /
Autor: Wolfram, Sybil
Vydáno: (1989)

Načítá se...

Logic /
Autor: Tomassi, Paul
Vydáno: (1999)

Načítá se...

Introduction to logic /
Autor: Suppes, Patrick
Vydáno: (1957)

Načítá se...

Logic /
Autor: Vatsyayan
Vydáno: (1981)

Načítá se...

Logic : a very short introduction /
Autor: Priest, Graham
Vydáno: (2006)

Načítá se...

Logic : deductive and inductive /
Autor: Read, Carveth
Vydáno: (1898)

Načítá se...

The elements of logic /
Autor: Barker, Stephen Francis
Vydáno: (1974)

Načítá se...

Logic /
Vydáno: (1972)