Formal methods program verification specification von berg franta moher boebert (1 Ergebnisse)
Verlag: UMN, Honeywell and Institut fur Technische Informatik, 1979
- Softcover
- Erstausgabe
Anbieter: Mythos Center Books, Frontenac, MN, USAMythos Center Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 26,76
EUR 3,90 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Good. First edition. Quarto, stiff wraps with black backstrip. Wraps are silverfished at head. 117 pages with references. Large program design and management. Laid in (may or may not be related) "Computation of Achromatic Objectives" by Robert E. Stephens. NBS Circular 549.