Francisco Durán – författare
Visar alla böcker från författaren Francisco Durán. Handla med fri frakt och snabb leverans.
7 produkter
Composing Model-Based Analysis Tools
Av Robert Heinrich, Francisco Durán m. fl.
Inbunden, 2021
1557 kr
Lägg i varukorg
This book presents joint works of members of the software engineering and formal methods communities with representatives from industry, with the goal of establishing the foundations for a common understanding of the needs for more flexibility in model-driven engineering. It is based on the …
Composing Model-Based Analysis Tools
Av Steffen Zschaler, Carolyn Talcott m. fl.
E-bok, 2021
1445 kr
Lägg i varukorg
This book presents joint works of members of the software engineering and formal methods communities with representatives from industry, with the goal of establishing the foundations for a common understanding of the needs for more flexibility in model-driven engineering. It is based on the …
Composing Model-Based Analysis Tools
Av Robert Heinrich, Francisco Durán m. fl.
Häftad, 2022
1114 kr
Lägg i varukorg
This book presents joint works of members of the software engineering and formal methods communities with representatives from industry, with the goal of establishing the foundations for a common understanding of the needs for more flexibility in model-driven engineering. It is based on the …
All About Maude - A High-Performance Logical Framework
How to Specify, Program, and Verify Systems in Rewriting Logic
Av Manuel Clavel, Francisco Durán m. fl.
2007
1186 kr
Lägg i varukorg
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used throughout the book to illustrate the main ideas and features of Maude, and its many possible uses. Maude modules are rewrite theories. Computation with such modules is - cient …
All About Maude - A High-Performance Logical Framework
How to Specify, Program, and Verify Systems in Rewriting Logic
Av Carolyn Talcott, Jose Meseguer m. fl.
E-bok, 2007
1335 kr
Lägg i varukorg
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used throughout the book to illustrate the main ideas and features of Maude, and its many possible uses. Maude modules are rewrite theories. Computation with such modules is - cient …
Rewriting Logic and Its Applications
9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
Häftad, 2012
517 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRLA 2012, held as a satellite event of ETAPS 2012, in Tallinn, Estonia, in March 2012.The 8 revised full papers presented together with 4 invited …
Rewriting Logic and Its Applications
9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
E-bok, 2012
672 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRLA 2012, held as a satellite event of ETAPS 2012, in Tallinn, Estonia, in March 2012.The 8 revised full papers presented together with 4 invited …
