Ergebnisse filtern
Fachgebiet
Medium
  • 4
  • 4
Erscheinungsjahr
  • 2
  • 2
  • 2
  • 2
Autoren
  • 2
  • 8
  • 2
  • 2
  • 2
Verlag
  • 4
  • 4
Preis
  • 8
Sprachen
  • 8
Verfügbarkeit
  • 8
Katalog
  • 8
8  Treffer  für „Qin, Shengchao“
    Qin | Unifying Theories of Programming | Buch | Sack Fachmedien

    Qin Unifying Theories of Programming

    Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-16689-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Qin | Unifying Theories of Programming | eBook | Sack Fachmedien
    E-Book

    Qin Unifying Theories of Programming

    Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-16690-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Qin / Qiu | Formal Methods and Software Engineering | eBook | Sack Fachmedien
    E-Book

    Qin / Qiu Formal Methods and Software Engineering

    13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-3-642-24559-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Qiu / Qin | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Qiu / Qin Formal Methods and Software Engineering

    13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
    2011
    Verlag: Springer
    ISBN: 978-3-642-24558-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Qin / Ait-Ameur | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Qin / Ait-Ameur Formal Methods and Software Engineering

    21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-32408-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ait-Ameur / Qin | Formal Methods and Software Engineering | eBook | Sack Fachmedien
    E-Book

    Ait-Ameur / Qin Formal Methods and Software Engineering

    21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-32409-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Qin / Zhang / Woodcock | Dependable Software Engineering. Theories, Tools, and Applications | Buch | Sack Fachmedien

    Qin / Zhang / Woodcock Dependable Software Engineering. Theories, Tools, and Applications

    7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-91264-2
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Qin / Woodcock / Zhang | Dependable Software Engineering. Theories, Tools, and Applications | eBook | Sack Fachmedien
    E-Book

    Qin / Woodcock / Zhang Dependable Software Engineering. Theories, Tools, and Applications

    7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-91265-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    80,24 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular