Udvidet returret til d. 31. januar 2025

Verification, Model Checking, and Abstract Interpretation

Bag om Verification, Model Checking, and Abstract Interpretation

Israel) called On the Expressive Power of Canonical Abstraction,and -atutorialbyJoshuaD.Guttman(Mitre,USA)on Security, Protocols, and Trust. We would like to thank the Program Committee members and the reviewers, without whose dedicated e?ort the conference would not have been possible.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783540208037
  • Indbinding:
  • Paperback
  • Sideantal:
  • 344
  • Udgivet:
  • 7. januar 2004
  • Størrelse:
  • 155x19x235 mm.
  • Vægt:
  • 522 g.
  • BLACK NOVEMBER
Leveringstid: 8-11 hverdage
Forventet levering: 6. december 2024

Beskrivelse af Verification, Model Checking, and Abstract Interpretation

Israel) called On the Expressive Power of Canonical Abstraction,and -atutorialbyJoshuaD.Guttman(Mitre,USA)on Security, Protocols, and Trust. We would like to thank the Program Committee members and the reviewers, without whose dedicated e?ort the conference would not have been possible.

Brugerbedømmelser af Verification, Model Checking, and Abstract Interpretation



Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.