Alexandra Silva - Böcker

Visar alla böcker från författaren Alexandra Silva.
7 produkter
Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva, Germany) Katoen, Joost-Pieter (RWTH Aachen University, Alexandra (University College London) Silva - Foundations of Probabilistic Programming, Inbunden

Foundations of Probabilistic Programming

Av Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva, Germany) Katoen, Joost-Pieter (RWTH Aachen University, Alexandra (University College London) Silva

Inbunden, Engelska, 2020

1 019 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 10-15 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 10-15 vardagar
Alexandra Silva, Renata Wassermann, Ruy de Queiroz, Ruy De Queiroz - Logic, Language, Information, and Computation, Häftad

Logic, Language, Information, and Computation

Av Alexandra Silva, Renata Wassermann, Ruy de Queiroz, Ruy De Queiroz

Häftad, Engelska, 2021

1 049 kr

Skickas inom 10-15 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

729 kr

Skickas inom 10-15 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

729 kr

Skickas inom 10-15 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

709 kr

Skickas inom 10-15 vardagar