Building High Integrity Applications with SPARK
Work detail
Bookitis PickBH
Building High Integrity Applications with SPARK
John W. McCormickPeter C. Chapin4 editions
This page groups all known editions belonging to the same underlying work.
Overview
Shared work-level identity and catalog context.
2 credited authorsSearch language english
Contributors
People credited with this work in the active catalog.
- Open Author
John W. McCormick
- Open Author
Peter C. Chapin
Editions
Publication-specific versions linked to this work only.
- BHBuilding High Integrity Applica...John W. McCormick, Peter C. Chapin
Building High Integrity Applications with SPARK
- BHBuilding High Integrity Applica...John W. McCormick, Peter C. Chapin
Building High Integrity Applications with SPARK
- BHBuilding High Integrity Applica...John W. McCormick, Peter C. Chapin
Building High Integrity Applications with SPARK
- BHBuilding High Integrity Applica...John W. McCormick, Peter C. Chapin
Building High Integrity Applications with SPARK