Détail de l'indexation
Ouvrages de la bibliothèque en indexation 005.3510 (2)
Affiner la recherche
Introduction à Maple / Albert Levine
Titre : Introduction à Maple Type de document : texte imprimé Auteurs : Albert Levine Mention d'édition : 2e éd. Editeur : Paris : Ellipses Année de publication : 1998 Importance : 269 p. Format : 26 x 17 cm ISBN/ISSN/EAN : 978-2-7298-9804-5 Note générale : Bibliogr. Index Langues : Français (fre) Index. décimale : 005.3510 Résumé : Maple V est un outil de calcul numérique et formel développé par Waterloo Maple Software (Université de Waterloo, Ontario, Canada). Grâce à ses quelque 2500 fonctions, il permet d'effectuer rapidement des calculs en précision quelconque, des résolutions d'équations à une ou plusieurs inconnues, des tracés de courbes ou de surfaces, d'obtenir des développements limités... Pour les prépas. Introduction à Maple [texte imprimé] / Albert Levine . - 2e éd. . - Paris : Ellipses, 1998 . - 269 p. ; 26 x 17 cm.
ISBN : 978-2-7298-9804-5
Bibliogr. Index
Langues : Français (fre)
Index. décimale : 005.3510 Résumé : Maple V est un outil de calcul numérique et formel développé par Waterloo Maple Software (Université de Waterloo, Ontario, Canada). Grâce à ses quelque 2500 fonctions, il permet d'effectuer rapidement des calculs en précision quelconque, des résolutions d'équations à une ou plusieurs inconnues, des tracés de courbes ou de surfaces, d'obtenir des développements limités... Pour les prépas. Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité FTM4432 510.512.32/01 Livre magasin d'ouvrages 510.512. Algèbre Exclu du prêt FTM4431 510.512.32/02 Livre magasin d'ouvrages 510.512. Algèbre Disponible Introduction aux méthodes formelles / jean françois monin
Titre : Introduction aux méthodes formelles Type de document : texte imprimé Auteurs : jean françois monin, Auteur Mention d'édition : 2e éd. Editeur : Paris : Hermès science publications, Année de publication : 2000 Collection : Collection technique et scientifique des télécommunications Importance : 352 p. Format : 24 x 16 cm ISBN/ISSN/EAN : 978-2-7462-0140-8 Note générale : Index Langues : Français (fre) Mots-clés : génie logiciel Index. décimale : 005.3510 Résumé : Présentation des bases théoriques et des fondements mathématiques de la spécification formelle. Revue des techniques générales de la spécification, du développement modulaire de logiciel par raffinements progressifs et de la preuve formelle. Explication de la mise en œuvre des techniques mathématiques sur des outils effectifs. Étude des systèmes de transition et de la logique temporelle. Introduction aux méthodes formelles [texte imprimé] / jean françois monin, Auteur . - 2e éd. . - Paris : Hermès science publications,, 2000 . - 352 p. ; 24 x 16 cm. - (Collection technique et scientifique des télécommunications) .
ISBN : 978-2-7462-0140-8
Index
Langues : Français (fre)
Mots-clés : génie logiciel Index. décimale : 005.3510 Résumé : Présentation des bases théoriques et des fondements mathématiques de la spécification formelle. Revue des techniques générales de la spécification, du développement modulaire de logiciel par raffinements progressifs et de la preuve formelle. Explication de la mise en œuvre des techniques mathématiques sur des outils effectifs. Étude des systèmes de transition et de la logique temporelle. Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité FTM30951 510.511.03 Livre magasin d'ouvrages 510.511. Principes généraux maths Exclu du prêt