Texts & Monographs in Symbolic Computation

13 Treffer
Auswahl verfeinern: Filtern Sortieren nach:

181,89 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker


58,84 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker


58,84 €

sofort lieferbar!


171,19 €

sofort lieferbar!

Logical Modeling and Reasoning About Languages, Data, Computations, and Executions


74,89 €

sofort lieferbar!

From One to Several Variables


139,09 €

sofort lieferbar!


171,19 €

sofort lieferbar!


53,49 €

sofort lieferbar!


34,99 €

sofort lieferbar!

Autorinnen/Autoren

  • Rezensionen

    Dieses Set enthält folgende Produkte:
      Auch in folgendem Set erhältlich:

      • nach oben

        Ihre Daten werden geladen ...