Hoppa till sidans huvudinnehåll

Alexandra Silva – författare

Visar alla böcker från författaren Alexandra Silva. Handla med fri frakt och snabb leverans.
7 produkter

Foundations of Probabilistic Programming

AvGilles Barthe,Joost-Pieter Katoenm. fl.

Inbunden, Engelska, 2020

1 079 kr

Skickas inom 7-10 vardagar

Del 12759 - Lecture Notes in Computer Science

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

589 kr

Skickas inom 10-15 vardagar

Del 12760 - Lecture Notes in Computer Science

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

589 kr

Skickas inom 10-15 vardagar

Del 13038 - Lecture Notes in Computer Science

Logic, Language, Information, and Computation

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

AvAlexandra Silva,Renata Wassermannm. fl.

Häftad, Engelska, 2021

1 039 kr

Skickas inom 10-15 vardagar

Del 10321 - Lecture Notes in Computer Science

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

729 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

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

AvAlexandra Silva,Sam Statonm. fl.

Häftad, Engelska, 2019

709 kr

Skickas inom 10-15 vardagar