Recent Trends in Algebraic Development Techniques, Fachbücher von Ugo Montanari, Andrea Corradini
53,49 €
Das Buch "Recent Trends in Algebraic Development Techniques" ist eine umfassende Sammlung von Beiträgen, die aus den nachgereichten Konferenzunterlagen des 19. Internationalen Workshops zu algebraischen Entwicklungstechniken hervorgegangen sind. Dieser Workshop fand im Jahr 2008 in Pisa, Italien, statt und brachte Fachleute zusammen, um die neuesten Entwicklungen in der algebraischen Systementwicklung zu diskutieren. Die 18 überarbeiteten Volltexte und 3 eingeladenen Vorträge wurden aus 33 Präsentationen sorgfältig ausgewählt und bieten einen tiefen Einblick in die algebraischen Ansätze zur Spezifikation und Entwicklung von Systemen. Die behandelten Themen umfassen formale Methoden für die Systementwicklung, Spezifikationssprachen und -methoden sowie Techniken zur Argumentation über Spezifikationen. Darüber hinaus werden Methoden für die Entwicklung von Spezifikationen und Techniken für concurrent, verteilte und mobile Systeme behandelt, ergänzt durch algebraische und co-algebraische Grundlagen.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
