Ana Cavalcanti - Böcker

Visar alla böcker från författaren Ana Cavalcanti.
13 produkter
Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock - Software Engineering for Robotics, Inbunden

Software Engineering for Robotics

Av Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock

Inbunden, Engelska, 2021

1 699 kr

Skickas inom 7-10 vardagar
Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock - Software Engineering for Robotics, Häftad

Software Engineering for Robotics

Av Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock

Häftad, Engelska, 2022

1 699 kr

Skickas inom 7-10 vardagar
Dirk Beyer, Ana Cavalcanti - Fundamental Approaches to Software Engineering, Häftad
Del 14573 - Lecture Notes in Computer Science

Fundamental Approaches to Software Engineering

Av Dirk Beyer, Ana Cavalcanti

Häftad, Engelska, 2024

699 kr

Skickas inom 5-8 vardagar
Ana Cavalcanti, James Baxter - Practice of Formal Methods, Häftad
Del 14781 - Lecture Notes in Computer Science

Practice of Formal Methods

Av Ana Cavalcanti, James Baxter

Häftad, Engelska, 2024

1 129 kr

Skickas inom 5-8 vardagar
Ana Cavalcanti, James Baxter - Practice of Formal Methods, Häftad
Del 14780 - Lecture Notes in Computer Science

Practice of Formal Methods

Av Ana Cavalcanti, James Baxter

Häftad, Engelska, 2024

1 129 kr

Skickas inom 5-8 vardagar
Ana Cavalcanti, Simon Foster, Robert Richardson - Towards Autonomous Robotic Systems, Häftad

Towards Autonomous Robotic Systems

Av Ana Cavalcanti, Simon Foster, Robert Richardson

Häftad, Engelska, 2025

1 259 kr

Skickas inom 7-10 vardagar
Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti - Critical Systems: Formal Methods and Automated Verification, Häftad

Critical Systems: Formal Methods and Automated Verification

Av Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti

Häftad, Engelska, 2017

739 kr

Skickas inom 7-10 vardagar
Ana Cavalcanti, Augusto Sampaio, Jim Woodcock - Refinement Techniques in Software Engineering, Häftad

Refinement Techniques in Software Engineering

Av Ana Cavalcanti, Augusto Sampaio, Jim Woodcock

Häftad, Engelska, 2006

739 kr

Skickas inom 7-10 vardagar
Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone - Theoretical Aspects of Computing - ICTAC 2006, Häftad

Theoretical Aspects of Computing - ICTAC 2006

Av Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone

Häftad, Engelska, 2006

739 kr

Skickas inom 7-10 vardagar
Ana Cavalcanti, Dennis Dams - FM 2009: Formal Methods, Häftad

FM 2009: Formal Methods

Av Ana Cavalcanti, Dennis Dams

Häftad, Engelska, 2009

1 459 kr

Skickas inom 7-10 vardagar
Karin Breitman, Ana Cavalcanti - Formal Methods and Software Engineering, Häftad

Formal Methods and Software Engineering

Av Karin Breitman, Ana Cavalcanti

Häftad, Engelska, 2009

1 459 kr

Skickas inom 7-10 vardagar
Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook - Testing Techniques in Software Engineering, Häftad
Del 6153 - Lecture Notes in Computer Science

Testing Techniques in Software Engineering

Av Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook

Häftad, Engelska, 2010

739 kr

Skickas inom 7-10 vardagar
Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock - Theoretical Aspects of Computing, Häftad

Theoretical Aspects of Computing

Av Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock

Häftad, Engelska, 2010

739 kr

Skickas inom 7-10 vardagar