Foundations for programming languages / Mitchell, J-C.

Public ISBD Titre : Foundations for programming languages Type de document : texte imprimé Auteurs : Mitchell, J-C. Editeur : Cambridge : MIT Année de publication : 1998 Collection : Foundations of Computing Series Importance : xix - 846 p. ISBN/ISSN/EAN : 978-0-262-13321-0 Langues : Anglais Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68NXX Software:68N15 Programming languages 68-XX Computer science :68NXX Software:68N19 Other programming techniques (object-oriented, sequential, concurrent, automatic, etc.) Mots-clés : computer science  programming languages Index. décimale : 68C Monographie Foundations for programming languages [texte imprimé] / Mitchell, J-C. . - Cambridge : MIT, 1998 . - xix - 846 p.. - (Foundations of Computing Series) . ISBN : 978-0-262-13321-0 Langues : Anglais Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68NXX Software:68N15 Programming languages 68-XX Computer science :68NXX Software:68N19 Other programming techniques (object-oriented, sequential, concurrent, automatic, etc.) Mots-clés : computer science  programming languages Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
16296	68C283	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

Understanding concurrent systems / A.W. Roscoe

Public ISBD Titre : Understanding concurrent systems Type de document : texte imprimé Auteurs : A.W. Roscoe, Auteur Editeur : London : Springer Année de publication : 2010 Collection : Texts in Computer Science, ISSN 1868-0941 Importance : xviii - 527 p. Format : 25 cm ISBN/ISSN/EAN : 978-1-84882-257-3 Langues : Anglais Catégories : 68-XX Computer science :68-02 Research exposition (monographs, survey articles) 68-XX Computer science :68NXX Software:68N19 Other programming techniques (object-oriented, sequential, concurrent, automatic, etc.) 68-XX Computer science :68QXX Theory of computing:68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) Mots-clés : software  programming techniques  concurrent programming  communicating sequential processes  FDR  models of concurrent systems Index. décimale : 68C Monographie Understanding concurrent systems [texte imprimé] / A.W. Roscoe, Auteur . - London : Springer, 2010 . - xviii - 527 p. ; 25 cm. - (Texts in Computer Science, ISSN 1868-0941) . ISBN : 978-1-84882-257-3 Langues : Anglais Catégories : 68-XX Computer science :68-02 Research exposition (monographs, survey articles) 68-XX Computer science :68NXX Software:68N19 Other programming techniques (object-oriented, sequential, concurrent, automatic, etc.) 68-XX Computer science :68QXX Theory of computing:68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) Mots-clés : software  programming techniques  concurrent programming  communicating sequential processes  FDR  models of concurrent systems Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
21236	LINA/68C412	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

---

page 1/1