Formal methods program verification von franta (3 Ergebnisse)
- Hardcover
Anbieter: BookHolders, Towson, MD, USABookHolders
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Ausreichend
EUR 14,64
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: Fair. [ No Hassle 30 Day Returns ][ Ships Daily ] [ Underlining/Highlighting: NONE ] [ Writing: NONE ] [ Edition: Reprint ] Publisher: Prentice Hall Pub Date: 4/1/1982 Binding: Hardcover Pages: 207 Reprint edition.
- Hardcover
Kaufen Sie 3 Artikel, und erhalten Sie 15 % Rabattvon diesem VerkäuferAnbieter: ThriftBooks-Atlanta, AUSTELL, GA, USAThriftBooks-Atlanta
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Ausreichend
EUR 18,38
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,67
EUR 4,03 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.
