Formal Methods: Foundations and Applications, Fachbücher von Jim Woodcock, Marcel Vinícius Medeiros Oliveira
53,49 €
"Formal Methods: Foundations and Applications" ist eine umfassende Sammlung von Beiträgen, die aus den sorgfältig begutachteten Nachberichten des 12. Brasilianischen Symposiums über Formale Methoden (SBMF 2009) hervorgegangen sind. Dieses Symposium fand im August 2009 in Gramado, Brasilien, statt und bot eine Plattform für den Austausch von Ideen und Fortschritten im Bereich der formalen Methoden zur Entwicklung und Verifikation von rechnergestützten Systemen. Die Sammlung umfasst 20 überarbeitete Volltexte sowie 3 eingeladene Beiträge, die aus einer Vielzahl von Einreichungen ausgewählt wurden. Die behandelten Themen sind von grosser Bedeutung für Forscher und Praktiker, die sich mit der Anwendung formaler Methoden in der Softwareentwicklung und Systemverifikation beschäftigen. Die Beiträge bieten wertvolle Einblicke in aktuelle Entwicklungen und Herausforderungen in diesem dynamischen Forschungsfeld.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
