Formal Methods for Interactive Systems (Computers and People Series)
5 Angebote vergleichen
Bester Preis: € 0,77 (vom 04.10.2016)1
Symbolbild
Formal Methods for Interactive Systems (Computers and People) (1991)
EN HC USISBN: 9780122183157 bzw. 0122183150, in Englisch, Academic Press Inc, gebundenes Buch, gebraucht, mit Einband.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Versandkosten nach: USA.
Von Händler/Antiquariat, Bookbarn International.
Academic Press Inc, 1991. Hardcover. Used; Good. No Dustjacket. Ships from the UK within 24 hours. Your purchase helps support authors through the Book Author Resale Right. Bookbarn International Inventory #1934091.
Von Händler/Antiquariat, Bookbarn International.
Academic Press Inc, 1991. Hardcover. Used; Good. No Dustjacket. Ships from the UK within 24 hours. Your purchase helps support authors through the Book Author Resale Right. Bookbarn International Inventory #1934091.
2
Symbolbild
Formal Methods for Interactive Systems (1991)
EN HCISBN: 9780122183157 bzw. 0122183150, in Englisch, Academic Press, Vereinigte Staaten von Amerika, gebundenes Buch.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkosten nach: USA.
Von Händler/Antiquariat, Robert Pearson, Bookseller.
Has underlines on about five pages, one tiny rubber stamp on top and bottom foredge, bumped corners, otherwise very good condition. Hardcover: 384 pages Publisher: Academic Pr (June 1991) ISBN-10: 0122183150 ISBN-13: 978-0122183157. Intended for professional, research-level and advanced undergraduates in human-computer interaction and formal methods for software engineering, this book addresses the problems governing the usability of computer interfaces. These problems are approached from the angle of the mathematical modelling of intertive systems. By modelling various facets of the system - such as windows, real time phenomena, and dynamic pointers - the book demonstrates how formal methods of software engineering (particularly functional programming) can be used to enhance the efficiency and usability of interactive systems..
Von Händler/Antiquariat, Robert Pearson, Bookseller.
Has underlines on about five pages, one tiny rubber stamp on top and bottom foredge, bumped corners, otherwise very good condition. Hardcover: 384 pages Publisher: Academic Pr (June 1991) ISBN-10: 0122183150 ISBN-13: 978-0122183157. Intended for professional, research-level and advanced undergraduates in human-computer interaction and formal methods for software engineering, this book addresses the problems governing the usability of computer interfaces. These problems are approached from the angle of the mathematical modelling of intertive systems. By modelling various facets of the system - such as windows, real time phenomena, and dynamic pointers - the book demonstrates how formal methods of software engineering (particularly functional programming) can be used to enhance the efficiency and usability of interactive systems..
3
Symbolbild
Formal Methods for Interactive Systems (Computers and People) (1991)
EN HC USISBN: 9780122183157 bzw. 0122183150, in Englisch, Academic Press Inc, gebundenes Buch, gebraucht.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, zzgl. Versandkosten, Verandgebiet: EUR.
Von Händler/Antiquariat, Bookbarn International, Somerset, Bristol, [RE:5].
Ships from the UK within 24 hours. Your purchase supports authors through the Book Author Resale Right. No Dustjacket. Hardcover.
Von Händler/Antiquariat, Bookbarn International, Somerset, Bristol, [RE:5].
Ships from the UK within 24 hours. Your purchase supports authors through the Book Author Resale Right. No Dustjacket. Hardcover.
4
Formal Methods For Interactive Systems (Computers and People Series) (1991)
EN HC USISBN: 9780122183157 bzw. 0122183150, in Englisch, 384 Seiten, Academic Press, gebundenes Buch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, betterworldbooks_.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, betterworldbooks_.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
5
Symbolbild
Formal Methods for Interactive Systems (2000)
EN HC USISBN: 9780122183157 bzw. 0122183150, in Englisch, Academic Press, gebundenes Buch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, zzgl. Versandkosten, Verandgebiet: DOM.
Von Händler/Antiquariat, Robert Pearson, Bookseller. WA, Seattle, [RE:5].
Hard cover.
Von Händler/Antiquariat, Robert Pearson, Bookseller. WA, Seattle, [RE:5].
Hard cover.
Lade…