Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Software Engineering and Formal Methods

15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings

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

Verlag: Springer International Publishing, 410 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 24.08.2017

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

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Theory and Applications of Satisfiability Testing -- SAT 2012

15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings

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

Verlag: Springer Berlin, 500 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 18.06.2012

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Formal Methods for Hardware Verification

6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures

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

Verlag: Springer Berlin, 244 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 25.11.2006

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Formal Methods for Industrial Critical Systems

28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings

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

Verlag: Springer International Publishing, 260 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 16.09.2023

60,98 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Formal Methods for Hardware Verification

6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 244 Seiten

Erscheinungsdatum: 15.05.2006

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Theory and Applications of Satisfiability Testing -- SAT 2012

15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 500 Seiten

Erscheinungsdatum: 22.06.2012

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Formal Methods for Industrial Critical Systems

28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 260 Seiten

Erscheinungsdatum: 17.09.2023

62,05 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Software Engineering and Formal Methods

15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 410 Seiten

Erscheinungsdatum: 15.08.2017

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel