Catalogue 
 Ressources numériques 
 Nouveautés 
 Liens utiles 
 Mon compte 
   
Recherche rapideRecherche avancéeRecherche alphabétiqueHistoriqueInformation
Recherche    Modifier la recherche  
> CERGY
 
Elargir la recherche
 
 
 
 Sur le même sujet :
 
  •  
  • Langages de programmation -- Sémantique
     
  •  
  • Méthodes formelles (informatique)
     
  •  
  • Programming languages (Electronic computers) -- Semantics
     
     Parcourir le catalogue
      par auteur:
     
  •  
  •  Winskel , Glynn
     
     
     Rechercher sur Internet
     
  •  
  • Localiser dans une autre bibliothèque (SUDOC) (PPN ou ISBN ou ISSN)
       Aperçu dans Google Books
     
     Affichage MARC
    Auteur : 
    Winskel , Glynn
    Titre : 
    The formal semantics of programming languages : an introduction , Glynn Winskel
    Editeur : 
    Cambridge (Mass.) London , MIT Press -- cop. 1993
    Description : 
    1 vol. (XVIII-361 p.) : couv. ill. en coul. ; 24 cm
    Collection : 
    Foundations of computing
    ISBN: 
    0-262-23169-7 , Rel.
    0-262-73103-7 , Br.
    978-0-262-23169-5 , Rel.
    978-0-262-73103-4 , br.
    Notes : 
    Bibliogr. p. [353]-356. Index
    Sujet : 
    Langages de programmation -- Sémantique
    Méthodes formelles (informatique)
    Programming languages (Electronic computers) -- Semantics
    Ajouter à ma liste 
    Exemplaires
    SiteEmplacementCoteType de prêtStatut 
    Site de Saint-MartinEspace CAPES-AGREG005.131 WINPrêtDisponibleRéserver


    Pour toute question, contactez la bibliothèque
    Horizon Information Portal 3.25_france_v1m© 2001-2019 SirsiDynix Tous droits réservés.
    Horizon Portail d'Information