Hoppa till sidans huvudinnehåll

Alexandra Silva - Böcker

Visar alla böcker från författaren Alexandra Silva.
7 produkter

Foundations of Probabilistic Programming

Av Gilles Barthe, Joost-Pieter Katoen m. fl

Inbunden, Engelska, 2020

1 029 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

Av Alexandra Silva, K. Rustan M. Leino

Häftad, Engelska, 2021

579 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II

Av Alexandra Silva, K. Rustan M. Leino

Häftad, Engelska, 2021

579 kr

Skickas inom 10-15 vardagar

Logic, Language, Information, and Computation

27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings

Av Alexandra Silva, Renata Wassermann m. fl

Häftad, Engelska, 2021

1 039 kr

Skickas inom 10-15 vardagar

Formal Techniques for Distributed Objects, Components, and Systems

37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

Av Ahmed Bouajjani, Alexandra Silva

Häftad, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar

Logic and Program Semantics

Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday

Av Robert L. Constable, Alexandra Silva

Häftad, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar

Language, Logic, and Computation

12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers

Av Alexandra Silva, Sam Staton m. fl

Häftad, Engelska, 2019

709 kr

Skickas inom 10-15 vardagar