{"product_id":"0070379963","title":"Abstraction et spécification dans le développement de programmes","description":"\n\n\u003ci\u003eAbstraction and Specification in Program Development\u003c\/i\u003e offre aux professionnels de la conception de programmes et du génie logiciel une méthodologie qui leur permettra de construire des programmes fiables et raisonnablement faciles à comprendre, à modifier et à maintenir. Une bonne programmation implique la maîtrise systématique de la complexité, et ce livre fournit le premier traitement unifié des techniques d'abstraction et de spécification, qui, selon les auteurs, sont la clé de voûte de toute approche efficace de la programmation. Ils mettent un accent particulier sur l'utilisation de l'abstraction de données pour produire des programmes hautement modulaires.\u003cbr\u003e Les auteurs se concentrent sur le processus de décomposition de grands projets de programmation en modules indépendants pouvant être assignés à des groupes de travail distincts. Ils discutent des méthodes de décomposition, des types de modules les plus utiles dans ce processus, et des techniques permettant d'augmenter la probabilité que les modules produits puissent effectivement être recombinés pour résoudre le problème de programmation initial. Le texte contient de nombreux exemples d'abstractions, et chaque chapitre se termine par des références et des exercices pertinents.\u003cbr\u003e La plupart des implémentations présentées dans le livre sont écrites en CLU, l'un des langages de plus en plus nombreux à prendre en charge l'abstraction de données. Un matériel suffisant est toutefois inclus pour permettre au lecteur de travailler également en Pascal.\u003cbr\u003e Le contenu de ce livre a été développé par les auteurs au cours d'une décennie d'enseignement dans des cursus de premier cycle, de deuxième cycle et de formation professionnelle. Barbara Liskov, créatrice du langage CLU, est professeure et John Guttag est professeur agrégé d'informatique au MIT. \u003ci\u003eAbstraction and Specification in Program Development\u003c\/i\u003e fait partie de la série MIT Electrical Engineering and Computer Science.\u003cbr\u003e\u003cp\u003eCatégories :\u003c\/p\u003e\u003cul class=\"category-tree\"\u003e\n\n\u003cli\u003eInformatique et technologie\u003cul class=\"category-tree\"\u003e\u003cli class=\"category-tree\"\u003eGénéral\u003c\/li\u003e\u003c\/ul\u003e\n\n\n\u003c\/li\u003e\n\n\n\u003c\/ul\u003e\n\n","brand":"McGraw-Hill","offers":[{"title":"Used - Very Good","offer_id":46670081523902,"sku":"0070379963-3","price":19.47,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0640\/9689\/5166\/files\/A1uQSv6ViML.jpg?v=1775931553","url":"https:\/\/shop.sustainablebooks.com\/fr\/products\/0070379963","provider":"Sustainable Books","version":"1.0","type":"link"}