Detailsuche

Grid  List

  1. Practical Formal Methods for Hardware Design
    0 %
    Practical Formal Methods for Hardware Design
    Werner Damm
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Formal methods for hardware design still find limited use in industry. Yet current practice has t...

    Unser bisheriger Preis:ORGPRICE: 56,38 €

    Jetzt 56,37 €Ebook
    Alle Preise inkl. MwSt
  2. Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
    0 %
    Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
    Werner Damm
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Dieses Buch stellt eine Methodik zum systematischen Entwurf korrekter Mikroprogramme vor. Behande...

    Unser bisheriger Preis:ORGPRICE: 42,99 €

    Jetzt 42,98 €Ebook
    Alle Preise inkl. MwSt
  3. Formal Techniques in Real-Time and Fault-Tolerant Systems
    0 %
    Formal Techniques in Real-Time and Fault-Tolerant Systems
    Werner Damm
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This volume contains the proceedings of FTRTFT 2002, the International S- posium on Formal Techni...

    Unser bisheriger Preis:ORGPRICE: 56,54 €

    Jetzt 56,53 €Ebook
    Alle Preise inkl. MwSt
  4. Computer Aided Verification
    0 %
    Computer Aided Verification
    Werner Damm
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This volume contains the proceedings of the International Conference on C- puter Aided Veri?catio...

    Unser bisheriger Preis:ORGPRICE: 56,66 €

    Jetzt 56,65 €Ebook
    Alle Preise inkl. MwSt
  5. Integration of Software Specification Techniques for Applications in Engineering
    0 %
    Integration of Software Specification Techniques for Applications in Engineering
    Werner Damm
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Unser bisheriger Preis:ORGPRICE: 57,18 €

    Jetzt 57,17 €Ebook
    Alle Preise inkl. MwSt
  6. Schemapädagogik bei jugendlichen Gewalttätern
    Schemapädagogik bei jugendlichen Gewalttätern
    Marcus Damm
    ibidem
    Ebook
    Sofort lieferbar

    Der Umgang mit jugendlichen Gewalttätern ist schwierig und stellt an die professionelle Fachkraft...

    16,99 €Ebook
    Alle Preise inkl. MwSt
  7. Agility für Fortgeschrittene
    Agility für Fortgeschrittene
    Werner Damm
    Kynos
    Buch
    Lieferbar in 5-7 Tagen

    In der Agility noch mehr als in allen anderen Hundesportarten ist eine klare und störungsfreie Ko...

    18,00 €Buch
    Alle Preise inkl. MwSt | zzgl. Versand
  8. Schemapädagogik bei jugendlichen Gewalttätern
    Schemapädagogik bei jugendlichen Gewalttätern
    Marcus Damm
    ibidem
    Taschenbuch
    Print on Demand

    Der Umgang mit jugendlichen Gewalttätern ist schwierig und stellt an die professionelle Fachkraft...

    24,90 €Taschenbuch
    Alle Preise inkl. MwSt | zzgl. Versand
  9. Computer Aided Verification
    0 %
    Computer Aided Verification
    Werner Damm
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Print on Demand

    This volume contains the proceedings of the International Conference on C- puter Aided Veri?catio...

    Unser bisheriger Preis:ORGPRICE: 53,49 €

    Jetzt 53,48 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Practical Formal Methods for Hardware Design
    0 %
    Practical Formal Methods for Hardware Design
    Carlos Delgado Kloos
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    Formal methods for hardware design still find limited use in industry. Yet current practice has t...

    Unser bisheriger Preis:ORGPRICE: 53,49 €

    Jetzt 53,48 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  11. Integration of Software Specification Techniques for Applications in Engineering
    0 %
    Integration of Software Specification Techniques for Applications in Engineering
    Hartmut Ehrig
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This volume is a documentation of the main results in the research area In- gration of Software S...

    Unser bisheriger Preis:ORGPRICE: 53,49 €

    Jetzt 53,48 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  12. Formal Techniques in Real-Time and Fault-Tolerant Systems
    0 %
    Formal Techniques in Real-Time and Fault-Tolerant Systems
    Werner Damm
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This volume contains the proceedings of FTRTFT 2002, the International S- posium on Formal Techni...

    Unser bisheriger Preis:ORGPRICE: 53,49 €

    Jetzt 53,48 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1
  2. 2