Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Model Checking Software

27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings

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

Verlag: Springer International Publishing, 195 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 02.08.2021

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

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Formal Techniques for Distributed Objects, Components, and Systems

40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings

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

Verlag: Springer International Publishing, 237 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 09.06.2020

69,54 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Reachability Problems

18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings

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

Verlag: Springer International Publishing, 239 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 19.09.2024

62,05 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Formal Techniques for Distributed Objects, Components, and Systems

40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 237 Seiten

Erscheinungsdatum: 10.06.2020

69,54 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Reachability Problems

18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 239 Seiten

Erscheinungsdatum: 20.09.2024

62,05 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Model Checking Software

27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 195 Seiten

Erscheinungsdatum: 03.08.2021

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel