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

AvGilles Barthe,Joost-Pieter Katoen m. fl.

Inbunden, Engelska, 2020

999 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

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

AvAlexandra 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

AvAlexandra 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

AvAlexandra Silva,Renata Wassermann m. fl.

Häftad, Engelska, 2021

1 029 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

AvAhmed Bouajjani,Alexandra Silva

Häftad, Engelska, 2017

719 kr

Skickas inom 10-15 vardagar

Logic and Program Semantics

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

AvRobert L. Constable,Alexandra Silva

Häftad, Engelska, 2012

719 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

AvAlexandra Silva,Sam Staton m. fl.

Häftad, Engelska, 2019

699 kr

Skickas inom 10-15 vardagar