Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Ihre Suche ergab 12 Treffer.


Formal Methods for Industrial Critical Systems

27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings

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

Verlag: Springer International Publishing, 245 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 05.09.2022

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

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Tales of Electrologica

Computers, Software and People

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

Verlag: Springer International Publishing, 201 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 04.01.2023

37,44 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Understanding Behaviour of Distributed Systems Using mCRL2

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

Verlag: Springer International Publishing, 235 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 25.02.2023

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

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Understanding Behaviour of Distributed Systems Using mCRL2

Produktform: Buch / Einband - fest (Hardcover)

Verlag: Springer International Publishing, Auflage 1, 235 Seiten

Erscheinungsdatum: 26.02.2023

192,59 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Formal Methods for Industrial Critical Systems

27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 245 Seiten

Erscheinungsdatum: 12.08.2022

74,89 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Tales of Electrologica

Computers, Software and People

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 201 Seiten

Erscheinungsdatum: 06.01.2024

37,44 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Tales of Electrologica

Computers, Software and People

Produktform: Buch / Einband - fest (Hardcover)

Verlag: Springer International Publishing, Auflage 1, 201 Seiten

Erscheinungsdatum: 05.01.2023

37,44 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Understanding Behaviour of Distributed Systems Using mCRL2

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 235 Seiten

Erscheinungsdatum: 27.02.2024

192,59 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Tools and Algorithms for the Construction and Analysis of Systems

27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27–April 1, 2021, Proceedings, Part I

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 471 Seiten

Erscheinungsdatum: 20.03.2021

42,79 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Tools and Algorithms for the Construction and Analysis of Systems

27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27–April 1, 2021, Proceedings, Part II

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 465 Seiten

Erscheinungsdatum: 23.03.2021

42,79 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel