QR kód

Program construction and verification /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Backhouse, Roland C.
Médium:	Kniha
Jazyk:	angličtina
Vydáno:	Englewood Cliffs : Prentice-Hall International, 1986
On-line přístup:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

A constructive method for the architectural design and correctness verification of real-time programs /
Autor: Saukkonen, Samuli
Vydáno: (1983)

Syntax of programming languages /
Autor: Backhouse, Roland C.
Vydáno: (1979)

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

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

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

Program construction : international summer school /
Autor: Bauer, Friedrich L. 1924-
Vydáno: (1979)

OCCAM. PROGRAMMING MANUAL /
Autor: Backhouse, R. C.
Vydáno: (1984)

Verification of design basis program 2. A coupled aeroelastic wind turbine model /
Autor: Larsen, Gunner C.
Vydáno: (1994)

SOFTWARE ENGINEERING. ANALYSIS AND VERIFICATION /
Autor: Lewis, Theodore Gyle
Vydáno: (1982)

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)

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

Automatic program construction techniques /
Autor: Biermann, Alan W.
Vydáno: (1984)

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)

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

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

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

A programming methodology in compiler construction.
Autor: Lewi, Johan
Vydáno: (1979)

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)

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

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

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

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

Logics for digital circuit verification. Theory, algorithms, and applications /
Autor: Janssen, Gradus Leonardus Johannes Maria
Vydáno: (1999)

Formal techniques for verification of complex real-time systems /
Autor: Geilen, Marc Constantijn Willem
Vydáno: (2002)

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

Facade Construction Manual /
Autor: Herzog, Thomas, a další
Vydáno: (2012)

Facade Construction Manual /
Autor: Herzog, Thomas, a další
Vydáno: (2018)

ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologies /
Autor: Mehta, Ashok B.
Vydáno: (2018)

Compiler implementation verification through rigorous syntactical code inspection /
Autor: Hoffmann, Ulrich
Vydáno: (1998)

Automatic verification of road databases using multiple road models /
Autor: Ziems, Marcel 1977-
Vydáno: (2014)

Timber Construction Manual /
Autor: Herzog, Thomas, a další
Vydáno: (2012)

Mathematics for construction students /
Autor: Schofield, C. W.
Vydáno: (1970)

Scene verification using an imaging model in 3-D computer vision /
Autor: Hanajík, Milan
Vydáno: (1995)

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Autor: Przigoda, Nils
Vydáno: (2018)

Construction weekly : the weekly for the construction industry

The Construction of Words Advances in Construction Morphology /
Vydáno: (2018)