Recent Trends in Algebraic Development Techniques, Fachbücher von Ugo Montanari, Andrea Corradini
Das Buch "Recent Trends in Algebraic Development Techniques" ist eine umfassende Sammlung von Beiträgen, die aus den nachgere... Mehr erfahren
Finde die besten Angebote
Bester Preis26 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
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.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer