Software Abstractions, überarbeitete Auflage: Logik, Sprache und Analyse
44,66 €
Jackson has developed Alloy, a language that captures the essence of software abstractions simply and succinctly, using a minimal toolkit of mathematical notions. This revised edition updates the text, examples, and appendixes to be fully compatible with Alloy 4.
Jetzt bei Ebay: