Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Ihre Suche ergab 33 Treffer.


Formal Methods for Performance Evaluation

7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures

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

Verlag: Springer Berlin, 472 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 06.06.2007

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Formal Methods for the Design of Real-Time Systems

International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004. Revised Lectures

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

Verlag: Springer Berlin, 297 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 07.12.2004

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Formal Methods for Software Architectures

Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures

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

Verlag: Springer Berlin, 289 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 03.11.2003

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Formal Methods for Eternal Networked Software Systems

11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures

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


Verlag: Springer Berlin, 527 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 11.06.2011

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 Mobile Computing

5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

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

Verlag: Springer Berlin, 272 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 25.04.2005

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: 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

Formal Methods for Mobile Computing

5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 272 Seiten

Erscheinungsdatum: 13.04.2005

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Formal Methods for Performance Evaluation

7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 472 Seiten

Erscheinungsdatum: 18.05.2007

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Formal Methods for Software Architectures

Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 289 Seiten

Erscheinungsdatum: 12.09.2003

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel