The B-Method

Häftad, Engelska

AvSteve Schneider

1 579 kr

Tillfälligt slut

Produktinformation

FormatHäftad
SpråkEngelska
Antal sidor384
FörlagRed Globe Press
ISBN9780333792841

Tillhör följande kategorier

Programmeringsböcker inom Data och it

Mer från samma författare

Concurrent and Real-time Systems

Concurrent and Real-time Systems

Steve Schneider, S. A. Schneider

1 029 kr

Computer Security – ESORICS 2019

Computer Security – ESORICS 2019

Kazue Sako, Steve Schneider, Peter Y. A. Ryan

719 kr

Computer Security – ESORICS 2019

Computer Security – ESORICS 2019

Kazue Sako, Steve Schneider, Peter Y. A. Ryan

719 kr

Computer Security – ESORICS 2020

Computer Security – ESORICS 2020

Liqun Chen, Ninghui Li, Kaitai Liang, Steve Schneider

719 kr

Computer Security – ESORICS 2020

Computer Security – ESORICS 2020

Liqun Chen, Ninghui Li, Kaitai Liang, Steve Schneider

719 kr

Applied Cryptography and Network Security

Applied Cryptography and Network Security

Mark Manulis, Ahmad-Reza Sadeghi, Steve Schneider

719 kr

Integrated Formal Methods

Integrated Formal Methods

Nadia Polikarpova, Steve Schneider

719 kr

Information Security

Information Security

Liqun Chen, Mark Manulis, Steve Schneider

719 kr

Formal Aspects of Security

Formal Aspects of Security

Ali E. Abdallah, Peter Ryan, Steve Schneider

719 kr

ZB 2005: Formal Specification and Development in Z and B

ZB 2005: Formal Specification and Development in Z and B

Helen Treharne, Steve King, Martin Henson, Steve Schneider

1 429 kr

Du kanske också är intresserad av

Computer Security – ESORICS 2020

Computer Security – ESORICS 2020

Liqun Chen, Ninghui Li, Kaitai Liang, Steve Schneider

719 kr

Computer Security – ESORICS 2019

Computer Security – ESORICS 2019

Kazue Sako, Steve Schneider, Peter Y. A. Ryan

719 kr

E-Voting and Identity

E-Voting and Identity

James Heather, Steve Schneider, Vanessa Teague

639 kr

Formal Aspects of Security

Formal Aspects of Security

Ali E. Abdallah, Peter Ryan, Steve Schneider

719 kr

Computer Security – ESORICS 2019

Computer Security – ESORICS 2019

Kazue Sako, Steve Schneider, Peter Y. A. Ryan

719 kr

Integrated Formal Methods

Integrated Formal Methods

Nadia Polikarpova, Steve Schneider

719 kr

Formal Aspects in Security and Trust

Formal Aspects in Security and Trust

Theo Dimitrakos, Fabio Martinelli, Peter Y A Ryan, Steve Schneider

719 kr

Information Security

Information Security

Liqun Chen, Mark Manulis, Steve Schneider

719 kr

Applied Cryptography and Network Security

Applied Cryptography and Network Security

Mark Manulis, Ahmad-Reza Sadeghi, Steve Schneider

719 kr

Formal Aspects in Security and Trust

Formal Aspects in Security and Trust

Theo Dimitrakos, Fabio Martinelli, Peter Y.A. Ryan, Steve Schneider

719 kr