Ana Cavalcanti

10 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Trending Random

Details Grid — Show only ebooks?

Software Engineering for Robotics

by Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, and Jim Woodcock First published in 2021 — 2 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006Proceedings (Lecture Notes in Computer Science)

by Kamel Barkaoui, Ana Cavalcanti, and Antonio Cerone First published in 2006 — 2 editions

Locate

My Reading Lists:

Create a new list
Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings

by Kamel Barkaoui, Ana Cavalcanti, and Antonio Cerone First published in 2006 — 1 edition

Locate

My Reading Lists:

Create a new list
Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings

by Karin Breitman and Ana Cavalcanti First published in 2009 — 1 edition

Locate

My Reading Lists:

Create a new list
FM 2009 : Formal Methods: Second World Congress, Eindhoven, the Netherlands, November 2-6, 2009, Proceedings

by Ana Cavalcanti and Dennis Dams First published in 2009 — 1 edition

Locate

My Reading Lists:

Create a new list
Testing Techniques in Software Engineering: Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures

by Paulo Borba, Ana Cavalcanti, Augusto Sampaio, and Jim Woodcook First published in 2010 — 1 edition

Locate

My Reading Lists:

Create a new list
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

by Dirk Beyer and Ana Cavalcanti First published in 2024 — 1 edition

Locate

My Reading Lists:

Create a new list
Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures

by Ana Cavalcanti, Augusto Sampaio, and Jim Woodcock First published in 2006 — 1 edition

Locate

My Reading Lists:

Create a new list
Preview

Preview Book
×Close

Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings

by Ana Cavalcanti First published in 2010 — 1 edition

Locate

My Reading Lists:

Create a new list
Critical Systems: Formal Methods and Automated Verification

by Laure Petrucci, Cristina Seceleanu, and Ana Cavalcanti First published in 2017 — 1 edition

Locate

My Reading Lists:

Create a new list

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL7311965A

Links outside Open Library

No links yet. Add one?

History

Created October 14, 2016
1 revision

Download catalog record: RDF / JSON

October 14, 2016

Created by Mek

Added new book.

Ana Cavalcanti

10 works Add another?

Create a new list

Preview Book

Subjects

Lists

Add to List

ID Numbers

Links outside Open Library

History