Fachgebiet
Medium
  • 12
  • 10
Erscheinungsjahr
  • 5
  • 1
  • 2
  • 2
  • 4
  • 4
  • 4
Autoren
  • 2
  • 4
  • 1
  • 2
  • 2
  • 22
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 7
  • 2
Verlag
  • 11
  • 1
  • 7
  • 3
Preis
  • 1
  • 14
  • 7
Sprachen
  • 22
Verfügbarkeit
  • 22
Katalog
  • 22
22  Treffer  für „Cavalcanti, Ana“


    Cavalcanti / Baxter The Practice of Formal Methods

    Essays in Honour of Cliff Jones, Part II
    Erscheinungsjahr 2024
    Verlag: Springer International Publishing
    ISBN: 978-3-031-66673-5
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    139,09 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Cavalcanti / Baxter The Practice of Formal Methods

    Essays in Honour of Cliff Jones, Part I
    Erscheinungsjahr 2024
    Verlag: Springer International Publishing
    ISBN: 978-3-031-66676-6
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    117,69 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Cavalcanti / Dams FM 2009: Formal Methods

    Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-05088-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cavalcanti / Dams FM 2009: Formal Methods

    Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-05089-3
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Cavalcanti / Beyer 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 2024, Luxembourg City, Luxembourg, April 6¿11, 2024, Proceedings
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-57258-6
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cavalcanti / Breitman Formal Methods and Software Engineering

    11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings
    1. Auflage. 2009
    Verlag: Springer
    ISBN: 978-3-642-10372-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Baxter / Cavalcanti The Practice of Formal Methods

    Essays in Honour of Cliff Jones, Part II
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-66672-8
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Breitman / Cavalcanti Formal Methods and Software Engineering

    11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-10373-5
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Baxter / Cavalcanti The Practice of Formal Methods

    Essays in Honour of Cliff Jones, Part I
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-66675-9
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Petrucci / Cavalcanti / Seceleanu Critical Systems: Formal Methods and Automated Verification

    Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-67112-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Petrucci / Seceleanu / Cavalcanti Critical Systems: Formal Methods and Automated Verification

    Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-67113-0
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Cavalcanti / Sampaio / Woodcock Refinement Techniques in Software Engineering

    First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures
    2006
    Verlag: Springer
    ISBN: 978-3-540-46254-5
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Barkaoui / Cerone / Cavalcanti Theoretical Aspects of Computing - ICTAC 2006

    Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-48815-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cavalcanti / Sampaio / Woodcock Refinement Techniques in Software Engineering

    First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-46253-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Barkaoui / Cavalcanti / Cerone Theoretical Aspects of Computing - ICTAC 2006

    Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings
    2006
    Verlag: Springer
    ISBN: 978-3-540-48816-3
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Borba / Cavalcanti / Sampaio Testing Techniques in Software Engineering

    Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-14335-9
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Borba / Cavalcanti / Sampaio Testing Techniques in Software Engineering

    Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14334-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cavalcanti / Deharbe / Gaudel Theoretical Aspects of Computing

    7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-14808-8
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Cavalcanti / Deharbe / Gaudel Theoretical Aspects of Computing

    7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14807-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cavalcanti / Dongol / Hierons Software Engineering for Robotics

    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-66494-7
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    117,69 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Cavalcanti / Dongol / Woodcock Software Engineering for Robotics

    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-66493-0
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cavalcanti / Dongol / Woodcock Software Engineering for Robotics

    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-66496-1
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



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