Software-Abstraktionen: Logik, Sprache und Analyse, Taschenbuch von Jackson, ...
51,45 €
Software Abstractions : Logic, Language, and Analysis, Paperback by Jackson, Daniel, ISBN 0262528908, ISBN-13 9780262528900, Brand New, Free P&P in the UK An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language.
Jetzt bei Ebay:
