Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Ihre Suche ergab 13 Treffer.


Concrete Abstractions

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

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer International Publishing, 271 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 11.04.2023

80,24 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Thinking Programs

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

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer International Publishing, 636 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 22.10.2021

74,89 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Concrete Abstractions

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

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 271 Seiten

Erscheinungsdatum: 13.04.2024

58,84 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Thinking Programs

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

Produktform: Buch / Einband - fest (Hardcover)

Verlag: Springer International Publishing, Auflage 1, 636 Seiten

Erscheinungsdatum: 23.10.2021

106,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Thinking Programs

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

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 636 Seiten

Erscheinungsdatum: 24.10.2022

74,89 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Concrete Abstractions

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

Produktform: Buch / Einband - fest (Hardcover)

Verlag: Springer International Publishing, Auflage 1, 271 Seiten

Erscheinungsdatum: 12.04.2023

80,24 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Einführung in die Meridiantherapie

Produktform: Buch / Einband - fest (Hardcover)

Verlag: mgo fachverlage GmbH & Co. KG, Auflage 1, 336 Seiten

Erscheinungsdatum: 09.09.2019

49,95 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Leben auf der anderen Seite

Grafik aus dem ehemaligen Ostblock - Die Sammlung Schreiner

Produktform: Buch / Einband - fest (Hardcover)

Verlag: Bibliothek der Provinz, Auflage 1, 212 Seiten

Bitte beachten Sie, dass der Verlag dieses Titels aus Österreich kommt.

Erscheinungsdatum: 09.08.2004

29,00 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Multivariate Analysemethoden

Eine anwendungsorientierte Einführung

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer Berlin, Auflage 3, 346 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 02.07.2013

39,99 € inkl. MwSt.
Fixed Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel