Texts & Monographs in Symbolic Computation

12 Treffer
Auswahl verfeinern: Filtern Sortieren nach:
Ankündigung

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


ca. 74,89 €

vorbestellbar, wir liefern bei Erscheinen (Erscheint vsl. September 2025)

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!

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


74,89 €

sofort lieferbar!


171,19 €

sofort lieferbar!

From One to Several Variables


139,09 €

sofort lieferbar!


171,19 €

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 ...