Concrete Abstractions : Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Engelska, 2023
646 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Produktinformation
Hoppa över listan
Mer från samma författare
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 698 kr
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
20092 127 kr
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 702 kr
Hoppa över listan
Du kanske också är intresserad av
- 10% rabatt på allt
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 698 kr
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 702 kr
Multivariate Analysemethoden
Wolfgang Schreiner, Wulff Plinke, Werner Lohrberg, Udo Humme, Klaus Backhaus, Christiane Schuchard-Ficher
E-bok
2013542 kr