Mathematical theory of program correctness /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Bakker, Jaco de
Další autoři: Bruin, Arie de, Zucker, Jeffery
Médium: Kniha
Jazyk:angličtina
Vydáno: Englewood Cliffs : Prentice-Hall, 1980
On-line přístup: Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

MARC

LEADER 00000nam a2200000 4500
003 SK-BrCVT
005 20220617191846.0
008 950603s1980 xxu e ||||||eng d
035 |a CVTIDW0932579 
040 |b slo  |a CVTI SR 
041 0 |a eng 
044 |a xxu 
080 |a 519.85  |2 UDC-MRF 
100 1 |a Bakker, Jaco de 
242 1 0 |a Matematická teória správnosti programu 
245 1 0 |a Mathematical theory of program correctness /  |c Jaco de Bakker, Arie de Bruin, Jeffery Zucker 
260 |a Englewood Cliffs :  |b Prentice-Hall,  |c 1980 
300 |a 16, 505 s. 
692 |a AS MM 
700 1 |a Bruin, Arie de 
700 1 |a Zucker, Jeffery 
910 |b A415434 
974 |f Knihy 
992 |a AMG 
999 |c 93575  |d 93575 

Podobné jednotky