Detailsuche

Grid  List

  1. Formal Techniques for Safety-Critical Systems
    0 %
    Formal Techniques for Safety-Critical Systems
    Cyrille Artho
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techni...

    Unser bisheriger Preis:ORGPRICE: 56,57 €

    Jetzt 56,56 €Ebook
    Alle Preise inkl. MwSt
  2. Logic, Rewriting, and Concurrency
    0 %
    Logic, Rewriting, and Concurrency
    Narciso Marti-Oliet
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This Festschrift volume contains 28 refereed papers including personal memories, essays, and regu...

    Unser bisheriger Preis:ORGPRICE: 56,14 €

    Jetzt 56,13 €Ebook
    Alle Preise inkl. MwSt
  3. Formal Aspects of Component Software
    0 %
    Formal Aspects of Component Software
    Farhad Arbab
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes revised selected papers of the 8th International Workshop on Formal Aspects...

    Unser bisheriger Preis:ORGPRICE: 56,16 €

    Jetzt 56,15 €Ebook
    Alle Preise inkl. MwSt
  4. Rewriting Logic and Its Applications
    0 %
    Rewriting Logic and Its Applications
    Peter Csaba Olveczky
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Unser bisheriger Preis:ORGPRICE: 56,08 €

    Jetzt 56,07 €Ebook
    Alle Preise inkl. MwSt
  5. Designing Reliable Distributed Systems
    0 %
    Designing Reliable Distributed Systems
    Peter Csaba Olveczky
    Springer London
    Ebook
    Sofort lieferbar

    This classroom-tested textbook provides an accessible introduction to the design, formal modeling...

    Unser bisheriger Preis:ORGPRICE: 74,89 €

    Jetzt 74,88 €Ebook
    Alle Preise inkl. MwSt
  6. Formal Aspects of Component Software
    0 %
    Formal Aspects of Component Software
    Kyungmin Bae
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings from the 15th International Conference on Formal A...

    Unser bisheriger Preis:ORGPRICE: 55,98 €

    Jetzt 55,97 €Ebook
    Alle Preise inkl. MwSt
  7. Formal Techniques for Safety-Critical Systems
    0 %
    Formal Techniques for Safety-Critical Systems
    Cyrille Artho
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techni...

    Unser bisheriger Preis:ORGPRICE: 55,92 €

    Jetzt 55,91 €Ebook
    Alle Preise inkl. MwSt
  8. Software Engineering and Formal Methods
    0 %
    Software Engineering and Formal Methods
    Peter Csaba Olveczky
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 17th International Conference on Software E...

    Unser bisheriger Preis:ORGPRICE: 56,58 €

    Jetzt 56,57 €Ebook
    Alle Preise inkl. MwSt
  9. 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,42 €

    Jetzt 81,41 €Ebook
    Alle Preise inkl. MwSt
  10. Formal Techniques for Safety-Critical Systems
    Formal Techniques for Safety-Critical Systems
    Cyrille Artho
    Springer International Publishing
    Ebook
    Nicht lieferbar

    This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techni...

    56,28 €Ebook
    Alle Preise inkl. MwSt
  1. 1