carlo a furia

Grid   List

  1. Modeling Time in Computing
    Modeling Time in Computing
    Carlo A. Furia
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the traditio...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Tests and Proofs
    Tests and Proofs
    Bernhard K. Aichernig
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 10th International Conference on Tests and Proofs, TAP 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.The 8 full papers, 2 s...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Integrated Formal Methods
    Integrated Formal Methods
    Carlo A. Furia
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018.The 17 full papers and 5 sho...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Object, Models, Components, Patterns
    Object, Models, Components, Patterns
    Carlo A. Furia
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 50th International Conference on Objects, Models, Components, Patterns, TOOLS Europe 2012, held in Prague, Czech Republic, during May 29-31,201...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Tests and Proofs
    Tests and Proofs
    Carlo A. Furia
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 10th International Conference on Tests and Proofs, TAP 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.The 8 full paper...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  6. Integrated Formal Methods
    Integrated Formal Methods
    Kirsten Winter
    Springer Nature Switzerland, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018.The 17 full papers an...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  7. Modeling Time in Computing
    Modeling Time in Computing
    Carlo A. Furia
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Buch
    Print on Demand
    Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the tradi...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  8. Modeling Time in Computing
    Modeling Time in Computing
    Carlo A. Furia
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand
    Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the tradi...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>