Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Ihre Suche ergab 26 Treffer.


Formal Aspects of Component Software

15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 297 Seiten

Erscheinungsdatum: 07.10.2018

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Formal Techniques for Safety-Critical Systems

6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018. Revised Selected Papers

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 179 Seiten

Erscheinungsdatum: 02.02.2019

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Theoretical Aspects of Computing – ICTAC 2021

18th International Colloquium, Virtual Event, September 6–10, 2021, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 405 Seiten

Erscheinungsdatum: 20.08.2021

80,24 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Designing Reliable Distributed Systems

An Introduction Based on Executable Modeling in Maude

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer London, Auflage 1, 313 Seiten

Erscheinungsdatum: 22.02.2018

74,89 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Formal Techniques for Safety-Critical Systems

4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

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

Verlag: Springer International Publishing, 271 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 02.02.2016

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

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Formal Techniques for Safety-Critical Systems

Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

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

Verlag: Springer International Publishing, 297 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 05.04.2014

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

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Formal Aspects of Component Software

12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

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

Verlag: Springer International Publishing, 331 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 29.01.2016

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

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Formal Techniques for Safety-Critical Systems

Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

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

Verlag: Springer International Publishing, 257 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 15.04.2015

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

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Formal Aspects of Component Software

8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

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

Verlag: Springer Berlin, 369 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 15.12.2012

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Formal Aspects of Component Software

8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 369 Seiten

Erscheinungsdatum: 23.11.2012

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel