Catalogo · 9780471623731
Concurrent and real-time systems
ISBN 9780471623731
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
That's all folks!
Steve Schneider
Refocusing crime prevention
Steve Schneider
Formal aspects of security
Peter Y. A. Ryan, Steve Schneider
Designing Fear
Steve Schneider
Computer Security - ESORICS 2020
Liqun Chen, Ninghui Li, Kaitai Liang, Steve Schneider
Computer Security – ESORICS 2019
Kazue Sako, Steve Schneider, Peter Y. A. Ryan
Applied Cryptography and Network Security
Mark Manulis, Ahmad-Reza Sadeghi, Steve Schneider
ZB 2005 : Formal Specification and Development in Z and B
Helen Treharne, Steve King, Martin Henson, Steve Schneider
The B-method (Cornerstones of Computing)
Steve Schneider
Robert F. Kennedy
Steve Schneider
Integrated Formal Methods
Nadia Polikarpova, Steve Schneider
Information Security
Liqun Chen, Mark Manulis, Steve Schneider
Verba volant · scripta manent