Freunden von diesem Artikel berichten:
Software Abstractions: Logic, Language, and Analysis - The MIT Press Jackson, Daniel (Massachusetts Institute of Technology) Revised edition
Preis
€ 43,99
Bestellware
Lieferdatum: ca. 25. Dez - 2. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen
oder
Software Abstractions: Logic, Language, and Analysis - The MIT Press
Jackson, Daniel (Massachusetts Institute of Technology)
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.
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 12. Februar 2016 |
| ISBN13 | 9780262528900 |
| Verlag | MIT Press Ltd |
| Seitenanzahl | 376 |
| Maße | 231 × 154 × 23 mm · 498 g |
| Sprache | Englisch |
Alle Titel von Jackson, Daniel (Massachusetts Institute of Technology) ansehen ( u. a. Gebundenes Buch und Taschenbuch )