Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Ihre Suche ergab 17 Treffer.


Theoretical Aspects of Software Engineering

16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8–10, 2022, Proceedings

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

Verlag: Springer International Publishing, 426 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 01.07.2022

90,94 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Formal Methods and Software Engineering

21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

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

Verlag: Springer International Publishing, 528 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 28.10.2019

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

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Formal Methods and Software Engineering

21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 528 Seiten

Erscheinungsdatum: 06.10.2019

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Theoretical Aspects of Software Engineering

16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8–10, 2022, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 426 Seiten

Erscheinungsdatum: 01.07.2022

90,94 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Abstract State Machines, Alloy, B, TLA, VDM, and Z

4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

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

Verlag: Springer Berlin, 336 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 29.05.2014

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Abstract State Machines, Alloy, B, TLA, VDM, and Z

4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 336 Seiten

Erscheinungsdatum: 21.05.2014

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

Communications of NII Shonan Meetings

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

Verlag: Springer Singapore, 346 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 27.07.2020

96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

Communications of NII Shonan Meetings

Produktform: Buch / Einband - fest (Hardcover)

Verlag: Springer Singapore, Auflage 1, 346 Seiten

Erscheinungsdatum: 28.07.2020

106,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

Communications of NII Shonan Meetings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Singapore, Auflage 1, 346 Seiten

Erscheinungsdatum: 29.07.2021

106,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Model and Data Engineering

4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings

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

Verlag: Springer International Publishing, 340 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 19.09.2014

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

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel