Formal Methods: Foundations and Applications, Fachbücher von Jim Woodcock, Marcel Vinícius Medeiros Oliveira
"Formal Methods: Foundations and Applications" ist eine umfassende Sammlung von Beiträgen, die aus den sorgfältig begutachtet... Mehr erfahren
Finde die besten Angebote
Bester Preis26 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
"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.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer