kent stuart j h (25 risultati)

SingleIssueMagazine. Condizione: Good. Vol. XXIII, No. 1. Edited by John W. Campbell, Jr. Cover art by Graves Gladney for "Cloak of Aesir" (novelette) by Don A. Stuart [John W. Campbell, Jr.]. "Problem in Murder" (novelette) by H. L. Gold; "Follow the Bouncing Ball" by Arthur J. Burks; "Star Crash" by Kent Casey; "Children of the 'Betsy B" by Malcolm Jameson; "Beyond the Sun" by D. L. James; "Cosmic Engineers" (pt. 2 of 3) by Clifford D. Simak. Articles: "Electric Batteries - 2,000 Years Ago!" by Willy Ley; "Toward the Superman" by Richard Tooker. Readers' Departments: "The Editor's page: Apologia"; "The Analytical Laboratory"; "In Times to Come"; "Brass Tacks and Science Discussions". Illustrated by Binder, Orban, Scneeman & Wesso. Cover was torn from upper hinge and has been glue-repaired inside hinge; edgeworn; 1st page price-clipped with old dealer's stamps and marks. Book.

SingleIssueMagazine. Condizione: Good. Vol. XXIII, No. 1. Pulp magazine. Edited by John W. Campbell, Jr. Cover art by Graves Gladney for "Cloak of Aesir" (novelette) by Don A. Stuart [John W. Campbell, Jr.]. "Problem in Murder" (novelette) by H. L. Gold; "Follow the Bouncing Ball" by Arthur J. Burks; "Star Crash" by Kent Casey; "Children of the 'Betsy B" by Malcolm Jameson; "Beyond the Sun" by D. L. James; "Cosmic Engineers" (pt. 2 of 3) by Clifford D. Simak. Articles: "Electric Batteries - 2,000 Years Ago!" by Willy Ley; "Toward the Superman" by Richard Tooker. Readers' Departments: "The Editor's page: Apologia"; "The Analytical Laboratory"; "In Times to Come"; "Brass Tacks and Science Discussions". Illustrated by Binder, Orban, Scneeman & Wesso. Worn with creasing and pieces out; pieces taped on reverse at lower front edge. Solid, decent reader. Book.

SingleIssueMagazine. Condizione: Good+. Vol. XXIII, No. 1. Pulp magazine. Edited by John W. Campbell, Jr. Cover art by Graves Gladney for "Cloak of Aesir" (novelette) by Don A. Stuart [John W. Campbell, Jr.]. "Problem in Murder" (novelette) by H. L. Gold; "Follow the Bouncing Ball" by Arthur J. Burks; "Star Crash" by Kent Casey; "Children of the 'Betsy B" by Malcolm Jameson; "Beyond the Sun" by D. L. James; "Cosmic Engineers" (pt. 2 of 3) by Clifford D. Simak. Articles: "Electric Batteries - 2,000 Years Ago!" by Willy Ley; "Toward the Superman" by Richard Tooker. Readers' Departments: "The Editor's page: Apologia"; "The Analytical Laboratory"; "In Times to Come"; "Brass Tacks and Science Discussions". Illustrated by Binder, Orban, Scneeman & Wesso. Covers glued on at hinges; spine ghosted wih losses to ends; marks on cover; edge tears and chips, particularly to contents page. Book.

Condizione: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

SingleIssueMagazine. Condizione: Good to Very Good-. Vol. XXIII, No. 1. Edited by John W. Campbell, Jr. Cover art by Graves Gladney for "Cloak of Aesir" (novelette) by Don A. Stuart [John W. Campbell, Jr.]. "Problem in Murder" (novelette) by H. L. Gold; "Follow the Bouncing Ball" by Arthur J. Burks; "Star Crash" by Kent Casey; "Children of the 'Betsy B" by Malcolm Jameson; "Beyond the Sun" by D. L. James; "Cosmic Engineers" (pt. 2 of 3) by Clifford D. Simak. Articles: "Electric Batteries - 2,000 Years Ago!" by Willy Ley; "Toward the Superman" by Richard Tooker. Readers' Departments: "The Editor's page: Apologia"; "The Analytical Laboratory"; "In Times to Come"; "Brass Tacks and Science Discussions". Illustrated by Binder, Orban, Scneeman & Wesso. Worn with creasing and tears at spine ends and minor stains. Book.

SingleIssueMagazine. Condizione: Very Good-. Vol. XXIII, No. 1. Edited by John W. Campbell, Jr. Cover art by Graves Gladney for "Cloak of Aesir" (novelette) by Don A. Stuart [John W. Campbell, Jr.]. "Problem in Murder" (novelette) by H. L. Gold; "Follow the Bouncing Ball" by Arthur J. Burks; "Star Crash" by Kent Casey; "Children of the 'Betsy B" by Malcolm Jameson; "Beyond the Sun" by D. L. James; "Cosmic Engineers" (pt. 2 of 3) by Clifford D. Simak. Articles: "Electric Batteries - 2,000 Years Ago!" by Willy Ley; "Toward the Superman" by Richard Tooker. Readers' Departments: "The Editor's page: Apologia"; "The Analytical Laboratory"; "In Times to Come"; "Brass Tacks and Science Discussions". Illustrated by Binder, Orban, Scneeman & Wesso. Edge and corner wear; minor creasing; tanning; lots of marks in pencil on contents page and owner's name and address on first page in same. Book.

Soft cover. Condizione: Good. 1st Edition. GD+ Moderate edgewear, spine reglued, otherwise a solid copy, very clean throughout. Cover art by Graves Gladney. Interior artwork by Binder, Orban, Schneeman, Wesso.

Condizione: New. In.

Condizione: New.

Condizione: New.

Condizione: New.

Condizione: New. pp. 388.

Paperback. Condizione: Brand New. 386 pages. 9.25x6.50x1.00 inches. In Stock.

Taschenbuch. Condizione: Neu. Formal Methods and Object Technology | Stephen J. Goldsack (u. a.) | Taschenbuch | xviii | Englisch | 1996 | Springer | EAN 9783540199779 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Rationale Software engineering aims to develop software by using approaches which en able large and complex program suites to be developed in a systematic way. However, it is well known that it is difficult to obtain the level of assurance of correctness required for safety critical software using old fashioned program ming techniques. The level of safety required becomes particularly high in software which is to function without a break for long periods of time, since the software cannot be restarted and errors can accumulate. Consequently programming for mission critical systems, for example, needs to address the requirements of correctness with particular care. In the search for techniques for making software cheaper and more reliable, two important but largely independent influences have been visible in recent years. These are: - Object Technology - Formal Methods First, it has become evident that objects are, and will remain an important concept in software. Experimental languages of the 1970's introduced various concepts of package, cluster, module, etc. giving concrete expression to the importance of modularity and encapsulation, the construction of software com ponents hiding their state representations and algorithmic mechanisms from users, exporting only those features (mainly the procedure calling mechanisms) which were needed in order to use the objects. This gives the software com ponents a level of abstraction, separating the view of what a module does for the system from the details of how it does them.

Condizione: Gut. Zustand: Gut | Seiten: 388 | Sprache: Englisch | Produktart: Bücher | Rationale Software engineering aims to develop software by using approaches which en­ able large and complex program suites to be developed in a systematic way. However, it is well known that it is difficult to obtain the level of assurance of correctness required for safety critical software using old fashioned program­ ming techniques. The level of safety required becomes particularly high in software which is to function without a break for long periods of time, since the software cannot be restarted and errors can accumulate. Consequently programming for mission critical systems, for example, needs to address the requirements of correctness with particular care. In the search for techniques for making software cheaper and more reliable, two important but largely independent influences have been visible in recent years. These are: ¿ Object Technology ¿ Formal Methods First, it has become evident that objects are, and will remain an important concept in software. Experimental languages of the 1970's introduced various concepts of package, cluster, module, etc. giving concrete expression to the importance of modularity and encapsulation, the construction of software com­ ponents hiding their state representations and algorithmic mechanisms from users, exporting only those features (mainly the procedure calling mechanisms) which were needed in order to use the objects. This gives the software com­ ponents a level of abstraction, separating the view of what a module does for the system from the details of how it does them.

Paperback. Condizione: Like New. Like New. book.

Condizione: As New. Unread book in perfect condition.

Condizione: As New. Unread book in perfect condition.

Paperback. Condizione: Fair. Stuart, F.T (illustratore). First Edition. Pages 36-68. Features: Anson Southard Marshall - article with nice one-page illustration; "Golden Days"; A Journey from New Hampshire to Philadelphia Half a Century Ago; My Wife's Aesthetic Soul; The Assassination of President Garfield; Massachusetts Coinage and Coins; Beaver Brook; New Hampshire State Normal School; Letter From John Farmer to Gov. William Plumer; William H.Y. Hackett; Letter from John Adams to Gov. William Plumer; Laudate Dominum; A Curious Relic. Ads and editorial comment on last six pages stroked out. Above-average external wear and soiling. Faint prior owner's name atop front cover. A worthy reference copy.

Paperback. Condizione: Fair. First Edition. Pages 127-186. Printed on glossy stock. Numerous black and white photos. Features: Woodsville - feature article with dozens of photos; The Vaughans - a California Idyl (continued); The Origin of the names of the towns in Merrimack County, and also the date of their settlement and incorporation; The tunnel-seat and the window-seat; The days that have gone (poem); The militia - the safeguard of the state; The song sparrow (poem); Arter David; A song (poem); A compromise with a spectre; My Grandmother's ghost (poem); Nice photo ad for the Boston and Maine Railroad inside front cover; Illustrated ad for Coates Clippers of Worcester, MA inside back cover; New Hampshire Necrology. Peripheral chipping. Contents in quality condition. A worthy copy.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Rationale Software engineering aims to develop software by using approaches which en able large and complex program suites to be developed in a systematic way. However, it is well known that it is difficult to obtain the level of assurance of correctness required for safety critical software using old fashioned program ming techniques. The level of safety required becomes particularly high in software which is to function without a break for long periods of time, since the software cannot be restarted and errors can accumulate. Consequently programming for mission critical systems, for example, needs to address the requirements of correctness with particular care. In the search for techniques for making software cheaper and more reliable, two important but largely independent influences have been visible in recent years. These are: - Object Technology - Formal Methods First, it has become evident that objects are, and will remain an important concept in software. Experimental languages of the 1970's introduced various concepts of package, cluster, module, etc. giving concrete expression to the importance of modularity and encapsulation, the construction of software com ponents hiding their state representations and algorithmic mechanisms from users, exporting only those features (mainly the procedure calling mechanisms) which were needed in order to use the objects. This gives the software com ponents a level of abstraction, separating the view of what a module does for the system from the details of how it does them. 388 pp. Englisch.

Condizione: New. Print on Demand pp. 388 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

Condizione: New. PRINT ON DEMAND pp. 388.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Rationale Software engineering aims to develop software by using approaches which en able large and complex program suites to be developed in a systematic way. However, it is well known that it is difficult to obtain the level of assurance of correctness required for safety critical software using old fashioned program ming techniques. The level of safety required becomes particularly high in software which is to function without a break for long periods of time, since the software cannot be restarted and errors can accumulate. Consequently programming for mission critical systems, for example, needs to address the requirements of correctness with particular care. In the search for techniques for making software cheaper and more reliable, two important but largely independent influences have been visible in recent years. These are: ¿ Object Technology ¿ Formal Methods First, it has become evident that objects are, and will remain an important concept in software. Experimental languages of the 1970's introduced various concepts of package, cluster, module, etc. giving concrete expression to the importance of modularity and encapsulation, the construction of software com ponents hiding their state representations and algorithmic mechanisms from users, exporting only those features (mainly the procedure calling mechanisms) which were needed in order to use the objects. This gives the software com ponents a level of abstraction, separating the view of what a module does for the system from the details of how it does them.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 388 pp. Englisch.