Ihre Suche ergab 26 Treffer.
Comment & Co. – Summarizing Information and Forming Opinions
Produktform: Buch / Einband - flex.(Paperback)
• Zieltextformate Englischabitur: written comment, summary, written interview, letter to the editor, newspaper article, cartoon analysis, e-mail, debate statement, mediation
• B2-C1
• Schreibtraining mit aktuellem Material
16,90 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Verification, Model Checking, and Abstract Interpretation
21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 19–25, 2020, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
85,59 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Tools and Algorithms for the Construction and Analysis of Systems
24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings. Part II
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Fundamental Approaches to Software Engineering
27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
42,79 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Formal Techniques for Distributed Systems
Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Tests and Proofs
13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Tools and Algorithms for the Construction and Analysis of Systems
24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings, Part I
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Formal Techniques for Distributed Systems
Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
TOOLympics Challenge 2023
Updates, Results, Successes of the Formal-Methods Competition
Produktform: Buch / Einband - flex.(Paperback)
ca. 53,49 € inkl. MwSt.
Preis kann sich ändern
kostenloser Versand
vorbestellbar
Wert- und risikoorientiertes Controlling
Produktform: Buch / Einband - fest (Hardcover)
44,90 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage