{"product_id":"9783031294754","title":"Método y lenguaje formal estructurado orientado a objetos: 11.º taller internacional, Sofl+Msvl 2022, Madrid, España, 24 de octubre de 2022, artículos seleccionados revisados ​​(Lecture Notes In Computer Science, 13854)","description":"Este libro constituye las actas del taller arbitrado del 11º Taller Internacional sobre Lenguaje y Método Formal Estructurado Orientado a Objetos, SOFL+MSVL 2022, celebrado en Madrid, en octubre de 2022. Los 12 artículos completos revisados ​​incluidos en el volumen fueron cuidadosamente revisados ​​y seleccionados de 26 presentaciones. Están organizados en las siguientes secciones temáticas: Verificación de modelos y proceso de decisión de Markov; Análisis de modelos e implementación de herramientas; Especificaciones y pruebas formales; Algoritmos y verificación. .\u003cbr\u003e\u003cbr\u003e\u003cbr\u003e\u003cul\u003e\n\n\u003cli\u003e | \u003cb\u003eAutor:\u003c\/b\u003e Shaoying Liu, Zhenhua Duan, Ai Liu\u003c\/li\u003e\n\n\u003cli\u003e | \u003cb\u003eEditorial:\u003c\/b\u003e Springer\u003c\/li\u003e\n\n\u003cli\u003e | \u003cb\u003eFecha de publicación:\u003c\/b\u003e 25 de marzo de 2023\u003c\/li\u003e\n\n\u003cli\u003e | \u003cb\u003eNúmero de páginas:\u003c\/b\u003e 163 páginas\u003c\/li\u003e\n\n\u003cli\u003e | \u003cb\u003eIdioma:\u003c\/b\u003e inglés\u003c\/li\u003e\n\n\u003cli\u003e | \u003cb\u003eEncuadernación:\u003c\/b\u003e Tapa blanda\u003c\/li\u003e\n\n\u003cli\u003e | \u003cb\u003eISBN-10:\u003c\/b\u003e 3031294750\u003c\/li\u003e\n\n\u003cli\u003e | \u003cb\u003eISBN-13:\u003c\/b\u003e 9783031294754\u003c\/li\u003e\n\n\n\u003c\/ul\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":48289390559537,"sku":"9783031294754","price":61.47,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0798\/8215\/8385\/products\/9783031294754.jpg?v=1707504354","url":"https:\/\/www.recomparo.com\/es\/products\/9783031294754","provider":"ReComparo.com","version":"1.0","type":"link"}