ZB 2005: Formal Specification and Development in Z and B
Helen Treharne, Steve King, Martin Henson, Steve Schneider
Häftad, 2005
1 114 kr
ZB 2005: Formal Specification and Development in Z and B
4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings
AvSteve Schneider,Martin Henson
E-bok
PDF, Engelska, 20051 408 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Computer Security - ESORICS 2020
Steve Schneider, Kaitai Liang, Ninghui Li, Liqun Chen
E-bok
2020714 kr
Computer Security - ESORICS 2020
Steve Schneider, Kaitai Liang, Ninghui Li, Liqun Chen
E-bok
2020708 kr
Applied Cryptography and Network Security
Steve Schneider, Ahmad-Reza Sadeghi, Mark Manulis
E-bok
2016708 kr
Integrated Formal Methods
John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne
Häftad, 2012
561 kr