Buy Used and New Alexandra Silva Books

Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th ... 10321 (Lecture Notes in Computer Science)

by Ahmed Bouajjani, Alexandra Silva

ISBN 13: 9783319602240

Format: Paperback (260 pages)
Publisher: Springer
Published: 28 May 2017

Save for later

Foundations of Probabilistic Programming

by Gilles Barthe,Joost-Pieter Katoen,Alexandra Silva

ISBN 13: 9781108488518

Format: Hardcover (582 pages)
Publisher: Cambridge University Press
Published: 03 Dec 2020

Save for later

Logic, Language, Information, and Computation: 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings: 13038 (Lecture Notes in Computer Science, 13038)

by Alexandra Silva,Renata Wassermann,Ruy de Queiroz

ISBN 13: 9783030888527

Format: Paperback (435 pages)
Publisher: Springer
Published: 06 Oct 2021

Save for later

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II: 12760 (Lecture Notes in Computer Science)

by Alexandra Silva,K. Rustan M. Leino

ISBN 13: 9783030816872

Format: Paperback (966 pages)
Publisher: Springer
Published: 17 Jul 2021

Save for later