The B-Method

Häftad, Engelska

Av Steve Schneider

1 679 kr

Tillfälligt slut

Produktinformation

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

Tillhör följande kategorier

Mer från samma författare

Concurrent and Real-time Systems

Concurrent and Real-time Systems

Steve Schneider, S. A. Schneider

1 049 kr

Computer Security – ESORICS 2019

Computer Security – ESORICS 2019

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

729 kr

Computer Security – ESORICS 2019

Computer Security – ESORICS 2019

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

729 kr

Computer Security – ESORICS 2020

Computer Security – ESORICS 2020

Liqun Chen, Ninghui Li, Kaitai Liang, Steve Schneider

729 kr

Computer Security – ESORICS 2020

Computer Security – ESORICS 2020

Liqun Chen, Ninghui Li, Kaitai Liang, Steve Schneider

729 kr

Applied Cryptography and Network Security

Applied Cryptography and Network Security

Mark Manulis, Ahmad-Reza Sadeghi, Steve Schneider

729 kr

Integrated Formal Methods

Integrated Formal Methods

Nadia Polikarpova, Steve Schneider

729 kr

Information Security

Information Security

Liqun Chen, Mark Manulis, Steve Schneider

729 kr

Formal Aspects of Security
Del 2629

Formal Aspects of Security

Ali E. Abdallah, Peter Ryan, Steve Schneider

729 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 449 kr

Du kanske också är intresserad av

Computer Security – ESORICS 2020

Computer Security – ESORICS 2020

Liqun Chen, Ninghui Li, Kaitai Liang, Steve Schneider

729 kr

Pappaskämt : den ultimata humorn

Pappaskämt : den ultimata humorn

 

49 kr79 kr

Den yttersta hemligheten
Del 6

Den yttersta hemligheten

Dan Brown

289 kr329 kr

Jul med guldkant
  • Nyhet

Jul med guldkant

Catarina König

299 kr349 kr

Expeditionen : min kärlekshistoria (illustrerad utgåva)

Expeditionen : min kärlekshistoria (illustrerad utgåva)

Bea Uusma

399 kr579 kr

Communicating Process Architectures 2007

Communicating Process Architectures 2007

Alistair A. McEwan, Steve Schneider, Wilson Ifill

1 539 kr

Kafé Pumpkin Spice
  • Nyhet
Del 1

Kafé Pumpkin Spice

Laurie Gilmore

79 kr125 kr

Computer Security – ESORICS 2019

Computer Security – ESORICS 2019

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

729 kr

E-Voting and Identity

E-Voting and Identity

James Heather, Steve Schneider, Vanessa Teague

649 kr

Formal Aspects of Security
Del 2629

Formal Aspects of Security

Ali E. Abdallah, Peter Ryan, Steve Schneider

729 kr