A Science of Concurrent Programs Lamport, Leslie 9781009719858 Innbundet 31.03.2026 Engelsk Forventes utgitt
Specifying Systems : The TLA+ Language and Tools for Hardware and Software Engineers Lamport, Leslie 9780321143068 Heftet 20.08.2002 Engelsk I salg
