Introduction to languages, machines and logic : computable languages, abstract machines and formal logic

Enregistré dans:
Détails bibliographiques
Auteur principal : Parkes Alan P. (Auteur)
Format : Livre
Langue : anglais
Titre complet : Introduction to languages, machines and logic : computable languages, abstract machines and formal logic / Alan P. Parkes
Publié : London, New York : Springer , C 2002
Description matérielle : 1 vol. (XI-351 p.)
Sujets :
LEADER 01278cam a2200373 4500
001 PPN068662769
003 http://www.sudoc.fr/068662769
005 20230126061100.0
010 |a 1-85233-464-9  |b br. 
035 |a (OCoLC)422315488 
100 |a 20021031h20022002k y0frey0103 ba 
101 0 |a eng  |2 639-2 
102 |a GB 
105 |a a z 001yy 
106 |a r 
181 |6 z01  |c txt  |2 rdacontent 
181 1 |6 z01  |a i#  |b xxxe## 
182 |6 z01  |c n  |2 rdamedia 
182 1 |6 z01  |a n 
183 |6 z01  |a nga  |2 RDAfrCarrier 
200 1 |a Introduction to languages, machines and logic  |e computable languages, abstract machines and formal logic  |f Alan P. Parkes 
214 0 |a London  |a New York  |c Springer 
214 4 |d C 2002 
215 |a 1 vol. (XI-351 p.)  |c ill.  |d 24 cm 
304 |a La couv. porte en plus :"Easy to read, non-mathematical approach" 
320 |a Bibliogr. p. 341-342. Index 
606 |3 PPN027682005  |a Langages formels  |2 rameau 
700 1 |3 PPN068662882  |a Parkes  |b Alan P.  |4 070 
801 3 |a FR  |b Abes  |c 20210203  |g AFNOR 
979 |a IUTN 
930 |5 441092206:274347245  |b 441092206  |j s 
991 |5 441092206:274347245  |a Rétroconversion IUT Nantes 
991 |5 441092206:274347245  |a Exemplaire modifié automatiquement. le 25-01-2023 15:33 
998 |a 467488