Concrete Abstractions : Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

AvWolfgang Schreiner

Engelska, 2023

648 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

Produktinformation

Hoppa över listan

Mer från samma författare

Bruno Buchberger, Michael Affenzeller, Alois Ferscha, Michael Haller, Tudor Jebelean, Erich Peter Klement, Peter Paule, Gustav Pomberger, Wolfgang Schreiner, Robert Stubenrauch, Roland Wagner, Gerhard Weiß, Wolfgang Windsteiger - Hagenberg Research, Inbunden

Hagenberg Research

Bruno Buchberger, Michael Affenzeller, Alois Ferscha, Michael Haller, Tudor Jebelean, Erich Peter Klement, Peter Paule, Gustav Pomberger, Wolfgang Schreiner, Robert Stubenrauch, Roland Wagner, Gerhard Weiß, Wolfgang Windsteiger

Inbunden, 2009

1 664 kr

Wolfgang Windsteiger, Gerhard Wei, Roland Wagner, Robert Stubenrauch, Wolfgang Schreiner, Gustav Pomberger, Peter Paule, Erich Peter Klement, Tudor Jebelean, Michael Haller, Alois Ferscha, Michael Affenzeller, Bruno Buchberger - Hagenberg Research, E-bok

Hagenberg Research

Wolfgang Windsteiger, Gerhard Wei, Roland Wagner, Robert Stubenrauch, Wolfgang Schreiner, Gustav Pomberger, Peter Paule, Erich Peter Klement, Tudor Jebelean, Michael Haller, Alois Ferscha, Michael Affenzeller, Bruno Buchberger

E-bok
2009

2 110 kr

Bruno Buchberger, Michael Affenzeller, Alois Ferscha, Michael Haller, Tudor Jebelean, Erich Peter Klement, Peter Paule, Gustav Pomberger, Wolfgang Schreiner, Robert Stubenrauch, Roland Wagner, Gerhard Weiß, Wolfgang Windsteiger - Hagenberg Research, Häftad

Hagenberg Research

Bruno Buchberger, Michael Affenzeller, Alois Ferscha, Michael Haller, Tudor Jebelean, Erich Peter Klement, Peter Paule, Gustav Pomberger, Wolfgang Schreiner, Robert Stubenrauch, Roland Wagner, Gerhard Weiß, Wolfgang Windsteiger

Häftad, 2010

1 664 kr

Hoppa över listan

Du kanske också är intresserad av

Bruno Buchberger, Michael Affenzeller, Alois Ferscha, Michael Haller, Tudor Jebelean, Erich Peter Klement, Peter Paule, Gustav Pomberger, Wolfgang Schreiner, Robert Stubenrauch, Roland Wagner, Gerhard Weiß, Wolfgang Windsteiger - Hagenberg Research, Inbunden

Hagenberg Research

Bruno Buchberger, Michael Affenzeller, Alois Ferscha, Michael Haller, Tudor Jebelean, Erich Peter Klement, Peter Paule, Gustav Pomberger, Wolfgang Schreiner, Robert Stubenrauch, Roland Wagner, Gerhard Weiß, Wolfgang Windsteiger

Inbunden, 2009

1 664 kr

Bruno Buchberger, Michael Affenzeller, Alois Ferscha, Michael Haller, Tudor Jebelean, Erich Peter Klement, Peter Paule, Gustav Pomberger, Wolfgang Schreiner, Robert Stubenrauch, Roland Wagner, Gerhard Weiß, Wolfgang Windsteiger - Hagenberg Research, Häftad

Hagenberg Research

Bruno Buchberger, Michael Affenzeller, Alois Ferscha, Michael Haller, Tudor Jebelean, Erich Peter Klement, Peter Paule, Gustav Pomberger, Wolfgang Schreiner, Robert Stubenrauch, Roland Wagner, Gerhard Weiß, Wolfgang Windsteiger

Häftad, 2010

1 664 kr

Wolfgang Schreiner, Wulff Plinke, Werner Lohrberg, Udo Humme, Klaus Backhaus, Christiane Schuchard-Ficher - Multivariate Analysemethoden, E-bok

Multivariate Analysemethoden

Wolfgang Schreiner, Wulff Plinke, Werner Lohrberg, Udo Humme, Klaus Backhaus, Christiane Schuchard-Ficher

E-bok
2013

538 kr

Wolfgang Windsteiger, Gerhard Wei, Roland Wagner, Robert Stubenrauch, Wolfgang Schreiner, Gustav Pomberger, Peter Paule, Erich Peter Klement, Tudor Jebelean, Michael Haller, Alois Ferscha, Michael Affenzeller, Bruno Buchberger - Hagenberg Research, E-bok

Hagenberg Research

Wolfgang Windsteiger, Gerhard Wei, Roland Wagner, Robert Stubenrauch, Wolfgang Schreiner, Gustav Pomberger, Peter Paule, Erich Peter Klement, Tudor Jebelean, Michael Haller, Alois Ferscha, Michael Affenzeller, Bruno Buchberger

E-bok
2009

2 110 kr