Alexandra Silva - Böcker

Visar alla böcker från författaren Alexandra Silva.
7 produkter
Alexandra Silva, K. Rustan M. Leino - Computer Aided Verification, Häftad

Computer Aided Verification

Av Alexandra Silva, K. Rustan M. Leino

Häftad, Engelska, 2021

589 kr

Skickas inom 7-10 vardagar
Alexandra Silva, K. Rustan M. Leino - Computer Aided Verification, Häftad

Computer Aided Verification

Av Alexandra Silva, K. Rustan M. Leino

Häftad, Engelska, 2021

589 kr

Skickas inom 7-10 vardagar
Alexandra Silva, Renata Wassermann, Ruy de Queiroz - Logic, Language, Information, and Computation, Häftad

Logic, Language, Information, and Computation

Av Alexandra Silva, Renata Wassermann, Ruy de Queiroz

Häftad, Engelska, 2021

1 059 kr

Skickas inom 7-10 vardagar
Ahmed Bouajjani, Alexandra Silva - Formal Techniques for Distributed Objects, Components, and Systems, Häftad

Formal Techniques for Distributed Objects, Components, and Systems

Av Ahmed Bouajjani, Alexandra Silva

Häftad, Engelska, 2017

739 kr

Skickas inom 7-10 vardagar
Robert L. Constable, Alexandra Silva - Logic and Program Semantics, Häftad

Logic and Program Semantics

Av Robert L. Constable, Alexandra Silva

Häftad, Engelska, 2012

739 kr

Skickas inom 7-10 vardagar
Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach - Language, Logic, and Computation, Häftad

Language, Logic, and Computation

Av Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach

Häftad, Engelska, 2019

719 kr

Skickas inom 7-10 vardagar