Formal methods program verification specification di berg franta moher boebert (1 risultati)
Lingua: Inglese
Editore: UMN, Honeywell and Institut fur Technische Informatik, 1979
- Brossura
- Prima edizione
Da: Mythos Center Books, Frontenac, MN, U.S.A.Mythos Center Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 26,52
EUR 3,86 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: 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.