QR kód

SOFTWARE ENGINEERING. ANALYSIS AND VERIFICATION /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Lewis, Theodore Gyle
Médium:	Kniha
Jazyk:	angličtina
Vydáno:	Reston : Reston Publishing, 1982
Témata:	odborné publikácie
On-line přístup:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

VERIFICATION AND VALIDATION OF REAL-TIME SOFTWARE /
Autor: Bologna, S.
Vydáno: (1985)

Software safety verification in critical software intensive systems /
Autor: Rodríguez Dapena, Patricia
Vydáno: (2002)

GUIDELINE FOR LIFECYCLE VALIDATION, VERIFICATION, AND TESTING OF COMPUTER SOFTWARE.
Vydáno: (1984)

SSPTV - a software system for programs testing and verification /
Autor: Bologna, S., a další
Vydáno: (1978)

Instruments for verification analysis and testing of photovoltaic systems
Vydáno: (2012)

Instruments for verification analysis and testing of photovoltaic systems
Vydáno: (2012)

Layout design and verification /
Autor: Ueda, Kazuhiro
Vydáno: (1986)

Program construction and verification /
Autor: Backhouse, Roland C.
Vydáno: (1986)

Compiler Specification and Verification /
Autor: Polak, Wolfgang
Vydáno: (1981)

Verification and validation in scientific computing /
Autor: Oberkampf, William L. 1944-, a další
Vydáno: (2010)

Computer logic, testing and verification /
Autor: Roth, John Paul
Vydáno: (1980)

Trust in Nuclear Disarmament Verification
Autor: Bowen, Wyn Q.
Vydáno: (2018)

Software engineering /
Autor: Jensen, Randall W.
Vydáno: (1979)

Software engineering /
Autor: Sommerville, Ian 1951-
Vydáno: (2001)

Software engineering /
Autor: Bauer, F. L.
Vydáno: (1980)

Software engineering
Vydáno: (2013)

Formal System Verification State-of the-Art and Future Trends /
Vydáno: (2018)

an advanced course Software engineering /
Vydáno: (1975)

Verification of electronic designs by reconstruction of the hierarchy /
Autor: Kostelijk, Anton Pieter
Vydáno: (1994)

VERIFICATION OF A MODEL OF THE EASTERN SCHELDT /
Autor: Leendertse, Jan J.
Vydáno: (1984)

Software testing fundamentals : introduction to software verification theory /
Autor: Samuelis, Ladislav
Vydáno: (2013)

THE CRAFT OF SOFTWARE ENGINEERING /
Autor: Macro, Allein
Vydáno: (1987)

SOFTWARE QUALITY ENGINEERING /
Autor: Deutsch, Michael S.
Vydáno: (1988)

Practical software engineering /
Autor: Schach, Stephen R.
Vydáno: (1992)

Advances in engineering software

Computer aided verification : Proceedings, Elounda, Greece, June 28 - July 1, 1993 /
Autor: Courcoubetis, Costas
Vydáno: (1993)

Software engineering with Ada /
Autor: Booch, Grady
Vydáno: (1983)

Classics in software engineering /
Autor: Dijkstra, E.
Vydáno: (1979)

Einführung in software Engineering /
Autor: Kimm, Reinhold
Vydáno: (1979)

Software engineering technicues.
Vydáno: (1977)

Software engineering techniques.
Autor: Alford, M.
Vydáno: (1977)

Computer aided verification : Proceedings, New Brunswick, USA, July 31 - Aug. 3, 1996 /
Autor: Boigelot, Bernard
Vydáno: (1996)

Taming the tiger. Software engineering and software economics /
Autor: Levy, Leon S.
Vydáno: (1987)

Intelligent software for chemical analysis /
Autor: Buydens, Ludgarde M. C.
Vydáno: (1993)

Conceptual models in man-machine design verification /
Autor: Rasmussen, Jens
Vydáno: (1985)

Specification and compositional verification of real-time systems /
Autor: Hooman, Jozef Johannes Maria
Vydáno: (1991)

Low-Power Design and Power-Aware Verification
Autor: Khondkar, Progyna
Vydáno: (2018)

Software engineering notes : an informal newsletter of the Special Interest Committee on Software Engineering / ACM = SIGSOFT
Vydáno: (1976)

Software engineering education. The educational needs of the software community /
Autor: Brooks, Frederick P. Jr
Vydáno: (1987)

Principles of software engineering management /
Autor: Gilb, Tom
Vydáno: (1993)