Grid   List

  1. Formal Methods - Fun for Everybody
    -0 %

    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 Form...

    Unser bisheriger Preis:ORGPRICE: 56,24 €

    Jetzt 56,23 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  2. Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
    -0 %

    Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

    Marco Autili
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This volume constitutes revised selected papers from the four workshops collocated with the 19th ...

    Unser bisheriger Preis:ORGPRICE: 56,24 €

    Jetzt 56,23 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  3. Software Engineering and Formal Methods
    -0 %

    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 In...

    Unser bisheriger Preis:ORGPRICE: 81,30 €

    Jetzt 81,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  4. Theoretical Aspects of Computing -- ICTAC 2011
    -0 %

    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...

    Unser bisheriger Preis:ORGPRICE: 56,28 €

    Jetzt 56,27 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  5. Theoretical Aspects of Computing - ICTAC 2006
    -0 %

    Theoretical Aspects of Computing - ICTAC 2006

    Kamel Barkaoui
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    The International Colloquium on Theoretical Aspects of Computing (ICTAC) held in 2006 in Tunis, T...

    Unser bisheriger Preis:ORGPRICE: 56,28 €

    Jetzt 56,27 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  6. Information Technology and Open Source: Applications for Education, Innovation, and Sustainability
    -0 %

    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: InSu...

    Unser bisheriger Preis:ORGPRICE: 56,24 €

    Jetzt 56,23 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  7. Formal Methods. FM 2019 International Workshops
    -0 %

    Formal Methods. FM 2019 International Workshops

    Troy Astarte
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the workshops which complemented the 23rd Sympo...

    Unser bisheriger Preis:ORGPRICE: 56,28 €

    Jetzt 56,27 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  8. Theoretical Aspects of Computing - ICTAC 2021
    -0 %

    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...

    Unser bisheriger Preis:ORGPRICE: 81,03 €

    Jetzt 81,02 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  9. Software Engineering and Formal Methods
    -0 %

    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 E...

    Unser bisheriger Preis:ORGPRICE: 62,63 €

    Jetzt 62,62 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  10. Formal Methods. FM 2019 International Workshops
    -0 %

    Formal Methods. FM 2019 International Workshops

    Troy Astarte
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the workshops which complemented the 23rd Sympo...

    Unser bisheriger Preis:ORGPRICE: 56,11 €

    Jetzt 56,10 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  11. Formal Methods for Software Engineering
    -0 %

    Formal Methods for Software Engineering

    Antonio Cerone
    Springer International Publishing
    Ebook
    Sofort lieferbar

    Software programs are formal entities with precise meanings independent of their programmers, so ...

    Unser bisheriger Preis:ORGPRICE: 62,66 €

    Jetzt 62,65 €
    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 Asp...

    56,21 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  1. 1
  2. 2