Studia informatica universalis
JFLA 2010

Par : Richard Bonichon
Formats :
44,00 €
  • Paiement en ligne :
    • Livraison à domicile ou en point Mondial Relay estimée à partir du 27 août
      Cet article sera commandé chez un fournisseur et vous sera envoyé 21 jours après la date de votre commande.
    • Retrait Click and Collect en magasin gratuit
  • Réservation en ligne avec paiement en magasin :
    • Indisponible pour réserver et payer en magasin
  • Nombre de pages306
  • PrésentationBroché
  • Poids0.43 kg
  • Dimensions15,0 cm × 21,5 cm × 1,6 cm
  • ISBN978-2-7056-7025-2
  • EAN9782705670252
  • Date de parution01/01/2010
  • ÉditeurHermann

Résumé

Ces onze contributions reflètent les récentes avancées de la recherche concernant aussi bien l'application des langages fonctionnels que la conception et l'utilisation d'assistants à la preuve.