Fachgebiet
Medium
  • 4
  • 4
Erscheinungsjahr
  • 2
  • 4
  • 2
Autoren
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
Verlag
  • 6
  • 2
Preis
  • 8
Sprachen
  • 8
Verfügbarkeit
  • 8
Katalog
  • 8
8  Treffer  für „Simao, Adenilso“


    Simao / Morgan Formal Methods: Foundations and Applications

    14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-25031-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Simao / Morgan Formal Methods: Foundations and Applications

    14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-3-642-25032-3
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Davies / Silva / Simao Formal Methods: Foundations and Applications

    13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19828-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Davies / Silva / Simao Formal Methods: Foundations and Applications

    13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-3-642-19829-8
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Petrenko / Simao / Maldonado Testing Software and Systems

    22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-16572-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Petrenko / Simao / Maldonado Testing Software and Systems

    22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-16573-3
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Pun / Stolz / Simao Theoretical Aspects of Computing – ICTAC 2020

    17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-64276-1
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Pun / Simao / Stolz Theoretical Aspects of Computing - ICTAC 2020

    17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-64275-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



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