Formal methods program verification von franta (2 Ergebnisse)
- Hardcover
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USAThriftBooks-Atlanta
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Ausreichend
EUR 18,03
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Hardcover. Zustand: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.
Sprache: Englisch
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 27,13
EUR 3,95 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.
