Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Fundamentals of Logic and Computation

With Practical Automated Reasoning and Verification

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

Verlag: Springer International Publishing, 222 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 03.12.2021

64,19 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Fundamentals of Logic and Computation

With Practical Automated Reasoning and Verification

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 222 Seiten

Erscheinungsdatum: 05.12.2022

64,19 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Fundamentals of Logic and Computation

With Practical Automated Reasoning and Verification

Produktform: Buch / Einband - fest (Hardcover)

Verlag: Springer International Publishing, Auflage 1, 222 Seiten

Erscheinungsdatum: 04.12.2021

64,19 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Automated Technology for Verification and Analysis

19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings

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

Verlag: Springer International Publishing, 382 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 13.10.2021

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

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Automated Technology for Verification and Analysis

19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 382 Seiten

Erscheinungsdatum: 14.10.2021

80,24 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Sports Analytics

First International Conference, ISACE 2024, Paris, France, July 12–13, 2024, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 330 Seiten

Erscheinungsdatum: 25.09.2024

139,09 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Formal Methods and Software Engineering

22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings

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

Verlag: Springer International Publishing, 335 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 18.12.2020

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Formal Methods and Software Engineering

22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 335 Seiten

Erscheinungsdatum: 19.12.2020

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel