Загрузка...

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)