antonio cerone

Grid   List

  1. Theoretical Aspects of Computing -- ICTAC 2011
    Theoretical Aspects of Computing -- ICTAC 2011
    Antonio Cerone
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011 held in Johannesburg, South Africa, in August September 2011. The ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Theoretical Aspects of Computing - ICTAC 2006
    Theoretical Aspects of Computing - ICTAC 2006
    Kamel Barkaoui
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ICTAC 2006 held in Tunis, Tunisia in November 2006. The 21 revised full pap...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Software Engineering and Formal Methods
    Software Engineering and Formal Methods
    Antonio Cerone
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017.
    78,10 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Information Technology and Open Source: Applications for Education, Innovation, and Sustainability
    Information Technology and Open Source: Applications for Education, Innovation, and Sustainability
    Antonio Cerone
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes revised selected papers from the following SEFM 2012 satellite events: InSuEdu, the First International Symposium on Innovation and Sustainability in Education; MokMaSD, the F...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Formal Methods. FM 2019 International Workshops
    Formal Methods. FM 2019 International Workshops
    Emil Sekerinski
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Formal Methods. FM 2019 International Workshops
    Formal Methods. FM 2019 International Workshops
    Emil Sekerinski
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Formal Methods - Fun for Everybody
    Formal Methods - Fun for Everybody
    Antonio Cerone
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This volume constitutes the post-workshop proceedings of the First International Workshop on Formal Methods - Fun for Everybody, FMFun 2019, held in Bergen, Norway, in December 2019.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Software Engineering and Formal Methods
    Software Engineering and Formal Methods
    Frank de Boer
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020.The...
    58,84 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. Theoretical Aspects of Computing - ICTAC 2021
    Theoretical Aspects of Computing - ICTAC 2021
    Antonio Cerone
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the proceedings of the 18th International Colloquium on Theoretical Aspects of Computing, ICTAC 2021, organized by the Nazarbayev University, Nur-Sultan, Kazakhstan. The event...
    80,24 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  10. Formal Methods for Software Engineering
    Formal Methods for Software Engineering
    Markus Roggenbach
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar
    Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point.
    58,84 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  11. Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
    Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
    Antonio Cerone
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually durin...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  12. Formal Methods for an Informal World
    Formal Methods for an Informal World
    Antonio Cerone
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an Informal World, held on September 1-7, 2021, orig...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
<%--for search--%>