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 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  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 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  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 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  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 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  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 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  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 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  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 €
    Alle Preise inkl. MwSt | zzgl. Versand
  1. 1