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
74,89 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Tales of Electrologica
Computers, Software and People
Produktform: E-Buch Text Elektronisches Buch in proprietärem
37,44 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Understanding Behaviour of Distributed Systems Using mCRL2
Produktform: E-Buch Text Elektronisches Buch in proprietärem
181,89 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Understanding Behaviour of Distributed Systems Using mCRL2
Produktform: Buch / Einband - fest (Hardcover)
192,59 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Formal Methods for Industrial Critical Systems
27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
74,89 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Tales of Electrologica
Computers, Software and People
Produktform: Buch / Einband - flex.(Paperback)
37,44 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Tales of Electrologica
Computers, Software and People
Produktform: Buch / Einband - fest (Hardcover)
37,44 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Understanding Behaviour of Distributed Systems Using mCRL2
Produktform: Buch / Einband - flex.(Paperback)
192,59 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
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)
42,79 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
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)
42,79 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage