Condition: Good. [ No Hassle 30 Day Returns ][ Ships Daily ] [ Underlining/Highlighting: NONE ] [ Writing: NONE ] [ Edition: First or Reprint ] Publisher: Pearson Pub Date: 1/1/2016 Binding: Paperback Pages: 338 First or Reprint.
Seller: Red's Corner LLC, Tucker, GA, U.S.A.
Paperback. Condition: New. This is a new book. All orders ship by next business day! We are a small company and very thankful for your business!
Language: English
Published by Savvas Learning Company, 2018
ISBN 10: 0134953789 ISBN 13: 9780134953786
Seller: Red's Corner LLC, Tucker, GA, U.S.A.
Paperback. Condition: Very Good. Grade 3 out 5 points. Book has wear on cover and pages. May have personalized notes/names, stickers/labels. Has no markings on pages. May not include extra materials like access codes, CDs, accessories, etc. All orders ship by next business day! We are a small company and very thankful for your business!
Seller: Red's Corner LLC, Tucker, GA, U.S.A.
Paperback. Condition: New. This is a new book. All orders ship by next business day! We are a small company and very thankful for your business!
Language: English
Published by Springer Berlin / Heidelberg, 1985
ISBN 10: 3540160477 ISBN 13: 9783540160472
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Condition: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Language: English
Published by Springer-Verlag, Berlin, 1985
ISBN 10: 3540160477 ISBN 13: 9783540160472
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
Paperback. Condition: Very Good. Dust Jacket Condition: No Dust Jacket. Lecture Notes in Computer Science 207; previous owner's initials discreetly inscribed on the title page. Faintly bumped spine head and rubbed corners. Covers are slightly marked due to age. Sound, clean book with tight binding. ADG. Used.
Unknown Binding. Condition: Like New.
Hardcover, no dust jacket. Very good. 400 pp.
Seller: OUTSIDER ENTERPRISES, Brockville, ON, Canada
Comic First Edition
Hardcover. Condition: New. Dust Jacket Condition: New. WRIGHTSON, BERNI : WRAY, BILL (illustrator). 1st Edition. Hardcover - 1st. Print - NEW/NEW (Sealed in publisher's shrinkwrap) - In Batman: The Cult, Deacon Blackfire, a charismatic shaman with roots as old as Gotham City itself, has amassed the city's homeless into an army, one he seemingly uses to fight crime. But Blackfire has a hidden agenda. - With Batman brainwashed by Blackfire and Gotham in chaos, can the Dark Knight's city be saved? - Collects Batman: The Cult Nos. 1-4 and also includes a never-before-seen gallery of development art and inked pages by Wrightson.
Language: English
Published by DC COMICS, New York, 1988
Seller: OUTSIDER ENTERPRISES, Brockville, ON, Canada
Comic First Edition
Comic. Condition: New. WRIGHTSON, BERNI : WRAY, BILL (illustrator). 1st Edition. Comics (Square Bound) - 1st. Prints (NM/MINT) - An epic 4 part tale from writer Jim Starlin and artist Bernie Wrightson featuring Batman Vs Joseph "Deacon" Blackfire and his large gathering of homeless followers in the sewers. In this mini-series, Blackfire proceeds to take over the entire city of Gotham with his small army whilst attempting to take Commissioner Gordon's life. This story sees Batman broken like no other villain has ever done to him through drugging, brainwashing and even making Batman believe in a false god. The only hope he has is his wits, grit and Robin (Jason Todd).
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Language: English
Published by Churchill Livingstone, 2003
ISBN 10: 0443070830 ISBN 13: 9780443070839
Seller: Aragon Books Canada, OTTAWA, ON, Canada
Condition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 50.80
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Chiron Media, Wallingford, United Kingdom
PF. Condition: New.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Using algebra for concurrency: Some approaches.- Some aspects of net theory.- From state machines to temporal logic: Specification methods for protocol standards.- A practical approach to the analysis of concurrent systems.- The problem set.- Specifying problem one using the 'failure' sets model for CSP and deriving CSP processes which meet this specification.- Two-way channel with disconnect.- Workshop on analysis of concurrent systems attempt at problem 3: The firing squad.- Parallel combinator reduction machine.- Workshop on analysis of concurrent systems attempt at problem 8: Mixing synchronous and asynchronous input.- Workshop on analysis of concurrent systems attempt at problem 10: The matrix switch.- On the specification of the firing squad problem.- Towards the hierarchical, temporal logic, specification of concurrent systems.- Two way channel with disconnect.- An example of specification and verification in CESAR.- Trace theory and the specification of concurrent systems.- Syntax and informal semantics of DyNe, a parallel language.- Examples of a real-time temporal logic specification.- Problems from the workshop on the analysis of concurrent systems.- A simple railway system.- Description and analysis using CIRCAL.- Firing squad.- Specification of a simplified Network Service in Z (Problem 2).- Specification of a simplified Network Service in CSP (Problem 2).- A solution to problem 7 - parallel combinator reduction machine -.- A temporal analysis of some concurrent systems.- Solutions to problem no. 2.- A CSP solution to the 'trains' problem.- The train set problem.- Conclusions.
Seller: preigu, Osnabrück, Germany
Taschenbuch. Condition: Neu. The Analysis of Concurrent Systems | Cambridge, September 12-16, 1983. Proceedings | B. T. Denvir (u. a.) | Taschenbuch | xii | Englisch | 1985 | Springer | EAN 9783540160472 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Seller: UK BOOKS STORE, London, LONDO, United Kingdom
Hardcover. Condition: New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 6-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
Language: English
Published by CRC Press 2000-12-21, 2000
ISBN 10: 0849306965 ISBN 13: 9780849306969
Seller: Chiron Media, Wallingford, United Kingdom
Hardcover. Condition: New.
Language: English
Published by CRC Press 1995-05-15, 1995
ISBN 10: 0849380464 ISBN 13: 9780849380464
Seller: Chiron Media, Wallingford, United Kingdom
Hardcover. Condition: New.
Language: English
Published by CRC Press 1994-08-22, 1994
ISBN 10: 0849332052 ISBN 13: 9780849332050
Seller: Chiron Media, Wallingford, United Kingdom
Hardcover. Condition: New.
Published by J. Wray & Nephew, Ltd, Schieffelin & Co, Jamaica & New York, 1934
Seller: Babylon Revisited Rare Books, Northampton, MA, U.S.A.
First Edition
First Edition. Original wrappers, 4 by 3 inches, 12 pages, two side staples. Includes 26 rum cocktail recipes. Scarce, no copies on WorldCat. Very Good, old liquor store stamp at front cover.
Published by Stovel / National Home Monthly, Winnipeg, 1939
Magazine / Periodical First Edition
Single Issue Magazine. Condition: Good. Illustrated by Cucchi, Anthony (cover); Holmgren, John; Garland, C.George; Smith, Ralph C.; Clymer, John F.; Lowthian, Louis R.; Diamond,Samuel (illustrator). First Edition. Features: Anthony Cucchi cover illustration of horses pulling sleigh to Christmas church service; Midnight Sailing (part 1); Blood Out of a Stone (short story); Gorgeous Courts of the Malayan Sultans - wonderful photo-illustrated article on royal romance in the middle east where nine moslem rulers stand on guard for their King and Emperor George VI; Joy of Man's Desiring (short story); In the Beginning (Christmas tale); The Yearling (part 3); Smart Fighters (Boxers) - Old Tom Sharkey; Personal finance article; Movie news and photos; Photo of Miss Carlotta Lagorio in Woodbury soap ad; Fashion illustrations; Never Late on a Date (short story); Article on Christmas Parties for Kids; Quotes of the World; Nice colour subscription ad for this magazine inside back cover; Vintage colour-photo Canadian apple ad on back cover; and more. 56 pages. Unmarked with average wear. Binding intact. A sound example of this great vintage issue.; Folio - over 12" - 15" tall; National Home Monthly Magazine, December (Dec.) 1939 - Courts of the Malayan Sultans Malaysia Sultan of Johore Royal Palace Kuala Lumpur Kelatan; Cover illustration of horses pulling sleigh to Christmas church service; Midnight Sailing (part 1); Blood.
Published by Stovel / National Home Monthly, Winnipeg, 1939
First Edition
Single Issue Magazine. Condition: Fair. Halvern, Corinne (cover); Smith, Ralph C.; Maltman, W.; Burke, May C.; Garland, C. George; Clymer, John F. (illustrator). First Edition. 72 pages. Features: Nice cover illustration of lady in purple top feeding pigeons; Frigidaire fridge one-page ad; Colour-photo one-page ad for Singer sewing machines shows lady re-upholstering her chair; News digest includes these topics - The Coming Rowell Report, Democracy on Challenge, The Memories of 1867, United States Congress Keeps 150th Birthday, The Roosevelt Moral, Twenty Years of Fascism; Fisher Body one-page ad with elegant photo of member of the Class of '39; The Marvels of Mexico's Treasure House - interesting photo-illustrated article on Diomed Wray's visit to the land south of the Rio Grande; There's Lots of Time (short story); Bad Luck on the Baron (short story); As the Sun Dial Says (short story); Thomas Cook, Founder of the world-famous travel agency - nice photo-illustrated article; Not in Our Stars (short story); Perfect Service (short story); For Offshore Sailors Only - nautical article with photo of "The Wasp" (88' cabin cruiser), sea-fleas, and Georgian Bay sailboats; Nice two-page 1939 Chevrolet ad features black four-door; Palmolive ad features photo of Phyllis Carter of 2159 Tupper Street, Montreal; Half-page Canadian Pacific features their Jasper and Alaska destinations; Movie news and photos; Lux ad features photos of Claudette Colbert and Andrea Leeds; Miss Peggy Hunter of Toronto is featured in a Woodbury soap ad; Fashion illustrations; Kellogg's All-Bran ad features Alphonse and Gaston comic; Canadian National half-page photo ad features their Jasper destination; Willys Overland ad features photo of Canadian aviatrix Mary Spearing; Are You House Dreaming? - considerations for a new home; Crane kitchen fixtures half-page ad features great colour photo of 1930s kitchen; Pond's ad features The Lady Alexandra Haig, The Lady Grenfell and Lady Morris; Beauty article; Cooking article with recipes; New York World's Fair (brief article); World Quotes; and more. Somewhat above-average external wear. Unmarked. A worthy vintage copy.
Published by National Home Monthly / Stovel, Winnipeg, 1934
First Edition
Single Issue Magazine. Condition: Good. Howitt, John Newton; Booth, Hanson; Holmgren, John; Smith, Ralph C.; Matteson, B.V.V.; (illustrator). First Edition. 56 pages. Features: Lovely cover illustration of blonde on boat; Great vintage colour Imperial (Oil) ad inside front cover features old-style gas pump; Editorial topics include Prison Rule, Support the Schools, The Cause of Crime, Who Lost the Election?, Success or Failure?, A Faulty System, World Trade, and Interest Rates; Nice one-page photo-illustrated ad for magazine "The Nor'-West Farmer"; A Policeman's Point of View (short story); Yellow on White (short story); Newfoundland - Canada's Economic Partner - great photo-illustrated article; Serg'int Luck (short story); Modern Eve - article illustrated with amazine photos of reptile skins used in fashion, our favourite being a model clad in 25' of python skin!; Hot Cargo (short story); Ceylone - Tea Garden of the World - nice photo-illustrated article; Pond's one-page ad includes photo of Mrs. Anthony J. Drexel III; Woodbury's one-page soap ad features photo of Baroness Ida Legan; Two-page General Motors (GM) of Canada ad highlights their design innovations; Movie news includes photos of Ruby Keeler, Dorothy Dell, Mary Carlisle, Muriel Evans, Ruth Channing, Gloria Stuart, Paul Kelly, and more; Business News discusses inflation and advertising trends; Young Man and his Problem; Legal Info.; Nice 1/4-page illustrated ad for Aylmer tomato catsup; Fashion illustrations; Heinz one-page ad includes illustrations of several of their products; Cooking article; World Sayings; Colour Lifebuoy and Rinso ads inside back cover; Nostalgic colour-photo ad for P and G naptha soap on back cover; and more. Unmarked with average wear. A sound copy of this great vintage issue.
Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Dez 1985, 1985
ISBN 10: 3540160477 ISBN 13: 9783540160472
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Using algebra for concurrency: Some approaches.- Some aspects of net theory.- From state machines to temporal logic: Specification methods for protocol standards.- A practical approach to the analysis of concurrent systems.- The problem set.- Specifying problem one using the żfailureż sets model for CSP and deriving CSP processes which meet this specification.- Two-way channel with disconnect.- Workshop on analysis of concurrent systems attempt at problem 3: The firing squad.- Parallel combinator reduction machine.- Workshop on analysis of concurrent systems attempt at problem 8: Mixing synchronous and asynchronous input.- Workshop on analysis of concurrent systems attempt at problem 10: The matrix switch.- On the specification of the firing squad problem.- Towards the hierarchical, temporal logic, specification of concurrent systems.- Two way channel with disconnect.- An example of specification and verification in CESAR.- Trace theory and the specification of concurrent systems.- Syntax and informal semantics of DyNe, a parallel language.- Examples of a real-time temporal logic specification.- Problems from the workshop on the analysis of concurrent systems.- A simple railway system.- Description and analysis using CIRCAL.- Firing squad.- Specification of a simplified Network Service in Z (Problem 2).- Specification of a simplified Network Service in CSP (Problem 2).- A solution to problem 7 ż parallel combinator reduction machine ż.- A temporal analysis of some concurrent systems.- Solutions to problem no. 2.- A CSP solution to the 'trains' problem.- The train set problem.- Conclusions. 412 pp. Englisch.
Language: English
Published by Springer Berlin Heidelberg, 1985
ISBN 10: 3540160477 ISBN 13: 9783540160472
Seller: moluna, Greven, Germany
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Using algebra for concurrency: Some approaches.- Some aspects of net theory.- From state machines to temporal logic: Specification methods for protocol standards.- A practical approach to the analysis of concurrent systems.- The problem set.- Specifying pro.
Language: English
Published by Springer, Springer Dez 1985, 1985
ISBN 10: 3540160477 ISBN 13: 9783540160472
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Using algebra for concurrency: Some approaches.- Some aspects of net theory.- From state machines to temporal logic: Specification methods for protocol standards.- A practical approach to the analysis of concurrent systems.- The problem set.- Specifying problem one using the 'failure' sets model for CSP and deriving CSP processes which meet this specification.- Two-way channel with disconnect.- Workshop on analysis of concurrent systems attempt at problem 3: The firing squad.- Parallel combinator reduction machine.- Workshop on analysis of concurrent systems attempt at problem 8: Mixing synchronous and asynchronous input.- Workshop on analysis of concurrent systems attempt at problem 10: The matrix switch.- On the specification of the firing squad problem.- Towards the hierarchical, temporal logic, specification of concurrent systems.- Two way channel with disconnect.- An example of specification and verification in CESAR.- Trace theory and the specification of concurrent systems.- Syntax and informal semantics of DyNe, a parallel language.- Examples of a real-time temporal logic specification.- Problems from the workshop on the analysis of concurrent systems.- A simple railway system.- Description and analysis using CIRCAL.- Firing squad.- Specification of a simplified Network Service in Z (Problem 2).- Specification of a simplified Network Service in CSP (Problem 2).- A solution to problem 7 - parallel combinator reduction machine -.- A temporal analysis of some concurrent systems.- Solutions to problem no. 2.- A CSP solution to the 'trains' problem.- The train set problem.- Conclusions.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 412 pp. Englisch.