Nimm drei und bezahle nur zwei mit dem Gutschein TRIPLE


MwSt. inbegriffen
Der Zustand Neu wird nur nach Deutschland versendet, mit kostenlosem Versand ab 15 €. Alle anderen Zustände haben immer kostenlosen Versand ohne Mindestbestellwert.
* Alle unsere Produkte werden sorgfältig geprüft, um eine nachhaltige Kultur zu fördern.
Jedes Produkt wird vor dem Versand geprüft, gereinigt und verifiziert. Wenn es nicht Ihren Erwartungen entspricht, erstatten wir Ihnen das Geld.
ISBN: 9783031712609
Este libro presenta las actas de la 20ª Conferencia Internacional sobre Aspectos Formales del Software de Componentes, FACS 2024, celebrada en Milán, Italia, del 9 al 10 de septiembre de 2024. Los 7 artículos completos y 1 artículo corto incluidos en este libro fueron cuidadosamente revisados y seleccionados de 16 presentaciones. Están organizados en secciones temáticas de la siguiente manera: verificación y pruebas, modelos formales y seguridad y blockchain. Este libro es un recurso valioso para investigadores y profesionales interesados en los aspectos formales del software de componentes.
