Formal Descriptions of Developing Systems
Guardat en:
| Altres autors: | Nation, James Bryant, 1948- (Col·laborador), Trofimova, Irina Nikolaevna, 1961- (Col·laborador), Rand, John D. (Col·laborador), Sulis, William H. (Col·laborador) |
|---|---|
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Cham :
Springer International Publishing
[20..].
Cham : Springer Nature |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Autre(s) contributeur(s) : William Sulis Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Formal descriptions of developing systems, ed. by James Nation,... Irina Trofimova,... John D. Rand,... [et al.], Dordrecht, Kluwer Academic Publishers, 2003, 1 vol. (XIV-306 p.), NATO science series, 1-4020-1567-4 |
Ítems similars
-
Towards Developing Tandem Learning in Formal Language Education
(Article ou chapitre numérique)
Batardière, Marie-Thérèse, et al.
Recherche et pratiques pédagogiques en langues, 2020 -
Towards a formal description of Ada
(Livre numérique)
Bjørner, Dines, 1937- -
Computer programming and formal systems
(Livre papier)
North-Holland Publishing Company, 1963 -
Mathematical interpretation of formal systems
(Livre papier)
Skolem, Thoralf, 1887-1963, et al.
North-Holland Publishing Company, 1971 -
Computer programming and formal systems
(Livre papier)
North-Holland Pub. Co., 1970

