9786130544126 - viatra: safety, security, unified modeling language, embedded systems, e- business, middleware (4 resultados)
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 29,00
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -High Quality Content by WIKIPEDIA articles! High Quality Content by WIKIPEDIA articles! The VIATRA (VIsual Automated model TRAnsformations) framework is the core of a transformation-based verification and validation environment for…improving the quality of systems designed using the Unified Modeling Language by automatically checking consistency, completeness, and dependability requirements. VIATRA2 primarily aims at designing model transformations to support the precise model-based systems development with the help of invisible formal methods. Invisible formal methods are hidden by automated model transformations projecting system models into various mathematical domains (and, preferably, vice versa). 72 pp. Englisch.
- Tapa blanda
- Impresión bajo demanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 31,21
Envío por EUR 60,63Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - High Quality Content by WIKIPEDIA articles! High Quality Content by WIKIPEDIA articles! The VIATRA (VIsual Automated model TRAnsformations) framework is the core of a transformation-based verification and validation environment for impro…ving the quality of systems designed using the Unified Modeling Language by automatically checking consistency, completeness, and dependability requirements. VIATRA2 primarily aims at designing model transformations to support the precise model-based systems development with the help of invisible formal methods. Invisible formal methods are hidden by automated model transformations projecting system models into various mathematical domains (and, preferably, vice versa).
- Tapa blanda
- Impresión bajo demanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 94,40
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: Neu. VIATRA | Safety, Security, Unified Modeling Language, Embedded Systems, E- Business, Middleware | Lambert M. Surhone (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 9786130544126 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]…preigu[dot]de | Anbieter: preigu Print on Demand.
- Tapa blanda
- Impresión bajo demanda
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemaniabuchversandmimpf2000
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 116,00
Envío por EUR 60,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Please note that the content of this book primarily consists of articlesavailable from Wikipedia or other free sources online. The VIATRA(VIsual Automated model TRAnsformations) framework is the core of atransformation-based verificatio…n and validation environment forimproving the quality of systems designed using the Unified ModelingLanguage by automatically checking consistency, completeness, anddependability requirements. VIATRA2 primarily aims at designing modeltransformations to support the precise model-based systems developmentwith the help of invisible formal methods. Invisible formal methods arehidden by automated model transformations projecting system models intovarious mathematical domains (and, preferably, vice versa).VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 72 pp. Englisch.
