Megjelenítés: 1 - 6 / 6 - kulcsszavak: 'Manna, Zohar', keresési idő: 0.09mp Találatok szűrése
1
The logical basis for computer programming
Szerző: Manna, Zohar
Megjelenés: 1985
Kapcsolódó cím: Deductive reasoning
könyv
Mentés a listára
Mentés helye:
2
Mathematical theory of computation
Szerző: Manna, Zohar
Megjelenés: 1974
könyv
Mentés a listára
Mentés helye:
3
The deductive foundations of computer programming : a one-volume version of The logical basis for computer programming
Szerző: Manna, Zohar
Megjelenés: 1993
könyv
Mentés a listára
Mentés helye:
4
Programozáselmélet
Szerző: Manna, Zohar
Megjelenés: 1981
könyv
Mentés a listára
Mentés helye:
5
The calculus of computation : decision procedures with applications to verification
Szerző: Bradley, Aaron R.
Megjelenés: 2007
Közreműködő(k): “...Manna, Zohar, szerk....”
könyv
Mentés a listára
Mentés helye:
6
Verification : Theory and practice : essays delivered to Zohar Manna on the occasion of his 64th birthday
Megjelenés: 2003
Közreműködő(k): “...Manna, Zohar...”
könyv
Mentés a listára
Mentés helye:
Keresőeszközök: RSS-hírfolyam — Keresés küldése emailben —