Formal methods program verification di franta (2 risultati)
- Rilegato
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.ThriftBooks-Atlanta
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Discreto
EUR 18,03
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.
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 27,13
EUR 3,95 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.
