tiago massoni

Grid   List

  1. Formal Methods: Foundations and Applications
    Formal Methods: Foundations and Applications
    Tiago Massoni
    Springer International Publishing
    Ebook
    Sofort lieferbar
    Chapter 'TeSSLa: Temporal Stream-Based Specification Language' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
    60,98 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Formal Methods: Foundations and Applications
    Formal Methods: Foundations and Applications
    Mohammad Reza Mousavi
    Springer Nature Switzerland, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Methods, SBMF 2018, which took place in Salvador, Brazil, in November 2018.The 16 regular papers present...
    62,05 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  3. A Model-driven Approach to Refactoring
    A Model-driven Approach to Refactoring
    Tiago Massoni
    LAP LAMBERT Academic Publishing
    Taschenbuch
    Print on Demand
    Refactoring object-oriented software, as any other evolutionary task, usually affects source code and object models, burdening developers to keep those artifacts correct and up to date. Due to the ...
    79,00 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>