Narciso Martí-Oliet – författare
Visar alla böcker från författaren Narciso Martí-Oliet. Handla med fri frakt och snabb leverans.
12 produkter
Rewriting Logic and Its Applications
13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers
Av Santiago Escobar, Narciso Martí-Oliet
Häftad, 2020
561 kr
Lägg i varukorg
This book constitutes selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2020, held in Dublin, Ireland, in April 2020.Due to the COVID-19 pandemic the workshop took place virtually.The 11 full papers presented in this volume were carefully reviewed …
Rewriting Logic and Its Applications
13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers
Av Narciso Marti-Oliet, Santiago Escobar
E-bok, 2020
755 kr
Lägg i varukorg
This book constitutes selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2020, held in Dublin, Ireland, in April 2020. Due to the COVID-19 pandemic the workshop took place virtually. The 11 full papers presented in this volume were carefully reviewed …
Rewriting Logic and Its Applications
15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers
Av Kazuhiro Ogata, Narciso Martí-Oliet
Häftad, 2024
631 kr
Lägg i varukorg
This book constitutes revised selected papers from the refereed proceedings of the 15th International Workshop on Rewriting Logic and Its Applications, WRLA 2024, held in Luxembourg City, Luxembourg, during April 6–7, 2024.The 11 full papers included in this book were carefully reviewed and …
Rewriting Logic and Its Applications
15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers
Av Narciso Marti-Oliet, Kazuhiro Ogata
E-bok, 2024
797 kr
Lägg i varukorg
This book constitutes revised selected papers from the refereed proceedings of the 15th International Workshop on Rewriting Logic and Its Applications, WRLA 2024, held in Luxembourg City, Luxembourg, during April 6–7, 2024. The 11 full papers included in this book were carefully reviewed and …
Formal Methods: Foundations and Applications
17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
Av Christiano Braga, Narciso Martí-Oliet
Häftad, 2015
450 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, Brazil, in September/October 2014.The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 …
Formal Methods: Foundations and Applications
17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
Av Narciso Marti-Oliet, Christiano Braga
E-bok, 2015
569 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, Brazil, in September/October 2014. The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 …
Logic, Rewriting, and Concurrency
Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
Av Narciso Martí-Oliet, Peter Csaba Ölveczky m. fl.
Häftad, 2015
545 kr
Lägg i varukorg
This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of José Meseguer to honor him on the occasion of his 65th birthday. These papers were presented at a symposium at the University of Illinois at …
Logic, Rewriting, and Concurrency
Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
Av Carolyn Talcott, Peter Csaba Olveczky m. fl.
E-bok, 2015
739 kr
Lägg i varukorg
This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of José Meseguer to honor him on the occasion of his 65th birthday. These papers were presented at a symposium at the University of Illinois at …
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 …
Recent Trends in Algebraic Development Techniques
21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Av Narciso Martí-Oliet, Miguel Palomino
Häftad, 2013
545 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Workshop on Algebraic Development Techniques, WADT 2012, held in June 2012, in Salamanca, Spain. The 16 revised papers presented were carefully reviewed and selected from 25 presentations. The …
Recent Trends in Algebraic Development Techniques
21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Av Miguel Palomino, Narciso Marti-Oliet
E-bok, 2013
734 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Workshop on Algebraic Development Techniques, WADT 2012, held in June 2012, in Salamanca, Spain. The 16 revised papers presented were carefully reviewed and selected from 25 presentations. The …
