Formal methods program verification di franta (3 risultati)
- Rilegato
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.ThriftBooks-Atlanta
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Discreto
EUR 17,79
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.
- Rilegato
Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.ThriftBooks-Dallas
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 17,79
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
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,76
EUR 3,90 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.
