Software Abstractions: Logic, Language, and Analysis - The MIT Press - Jackson, Daniel (Massachusetts Institute of Technology) - Livres - MIT Press Ltd - 9780262528900 - 12 février 2016
Si la couverture et le titre ne correspondent pas, le titre est correct.

Jackson, Daniel (Massachusetts Institute of Technology)
Software Abstractions: Logic, Language, and Analysis - The MIT Press Revised edition

Prix
€ 43,49

Commandé depuis un entrepôt distant

Livraison prévue 25 déc. - 2 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language.

376 pages, 58 b&w illus.

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 12 février 2016
ISBN13 9780262528900
Éditeurs MIT Press Ltd
Pages 376
Dimensions 231 × 154 × 23 mm   ·   498 g
Langue et grammaire Anglais  

Voir tous les Jackson, Daniel (Massachusetts Institute of Technology) ( par ex. Hardcover Book et Paperback Book )