It looks like you're offline.
Donate
Change Website Language
Open Library logo
additional options menu
Last edited by Mek
October 14, 2016 | History
Edit

Ana Cavalcanti

We need a photo of Ana Cavalcanti

10 works Add another?

Sorting by Sorted by: Most Editions | First Published | Most Recent | Top Rated | Reading Log | Random

Showing all works by author. Would you like to see only ebooks?

  • Cover of: Software Engineering for Robotics

    First published in 2021 2 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006Proceedings (Lecture Notes in Computer Science)

    First published in 2006 2 editions in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: 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 2023, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings

    First published in 2024 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures

    First published in 2006 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings

    First published in 2009 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: FM 2009 : Formal Methods: Second World Congress, Eindhoven, the Netherlands, November 2-6, 2009, Proceedings

    First published in 2009 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Testing Techniques in Software Engineering: Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures

    First published in 2010 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings

    First published in 2006 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Critical Systems: Formal Methods and Automated Verification

    First published in 2017 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings

    First published in 2010 1 edition — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Ana Cavalcanti

Subjects
Software engineering, Computer science, Congresses, Electronic data processing, Information theory, Computer programs, Computer software, Computer software, verification, Fehlertoleranz, Formal methods (Computer science), Formale Methode, Kongress, Model Checking, Programmanalyse, Programmtest, Softwareentwicklung, System design, Systementwicklung, Verifikation, Zuverlässigkeit

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL7311965A

Links (outside Open Library)

No links yet. Add one?

History

Download catalog record: RDF / JSON
October 14, 2016 Created by Mek Added new book.