Skip to content
VuFind
Jezik
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Vsa polja
Naslov
Avtor
Tema
Signatura
ISBN/ISSN
Oznaka
Išči
Napredno
Program construction and verif...
Citiraj
Pošljite email
Natisni
Izvozi zadetek
Izvozi v RefWorks
Izvozi v EndNoteWeb
Izvozi v EndNote
permanent_link
Nalaganje...
Program construction and verification
Bibliografske podrobnosti
Glavni avtor:
Backhouse, Roland C; Author
Format:
Printed Book
Izdano:
London, Prentice-Hall International
1986
Teme:
Computer programs
Programming (Electronic computers)
Verification
Zaloga
Opis
Podobne knjige/članki
Knjižničarski pogled
MG University
Podrobnosti zaloge MG University
Signatura:
005.1
005.1 M61
Kopija
Zaloga ni dosegljiva
Kopija
Zaloga ni dosegljiva
Podobne knjige/članki
Program construction and verification /
od: Backhouse, Roland C .
Izdano: (1986)
Foundation of program verification /
od: Loeckx, Jacques
Izdano: (1983)
Program verification using Ada
od: McGettrick, Andrew D; Author
Izdano: (1982)
Verification of sequential and concurrent programs /
od: Gries, David .
Izdano: (1991)
Current trends in hardware verification and automated theorem proving
od: Current trends in
Izdano: (1989)
Nalaganje...