Mathematical foundations of programming

שמור ב:
מידע ביבליוגרפי
מחבר ראשי: Beckman, Frank S., 1921-2009
פורמט: Livre papier
שפה:Anglais
יצא לאור: Reading, MA ; Menlo Park, Cal. ; London [etc.] : Addison-Wesley C 1980.
סדרה:The Systems programming series
נושאים:
הערה: Réimpr. : 1981
Autres localisations: Voir dans le Sudoc
Variante du titre:Mathematical foundations of computing
LEADER 01019nam a22002777a 4500
001 414857
008 820419s1980 xxe ||| |||| 00| 0 eng d
009 PPN019021933
020 |a 020114462X (rel.) :  |c 18.40 GBP 
041 0 |a eng 
082 |a 519.4 
100 1 |a Beckman, Frank S.,  |d 1921-2009. 
240 1 0 |a Mathematical foundations of computing 
245 1 0 |a Mathematical foundations of programming   |c Frank S. Beckman,... 
260 |a Reading, MA ;  |a Menlo Park, Cal. ;  |a London [etc.] :  |b Addison-Wesley. 
260 |c C 1980. 
300 |a 1 vol. (xviii-443 p.) :  |b ill. ;  |c 25 cm. 
490 0 |a The Systems programming series 
500 |a Réimpr. : 1981 
504 |a Bibliogr. en fin de chapitres. Index 
650 |a Logique symbolique et mathématique 
650 |a Automates mathématiques, Théorie des 
650 |a Langages formels 
650 |a Fonctions récursives 
650 |a Ordinateurs  |x Programmation 
997 |0 414857  |1 Livre papier  |a Ressource papier  |c 0/Orléans/  |c 1/Orléans/IDP/  |z Orléans, IDP, 7733 BEC