Mcmillan kenneth (19 Ergebnisse)

Paperback. Zustand: Good.

Paperback. Zustand: Very Good.

Zustand: As New. Like New condition. A near perfect copy that may have very minor cosmetic defects.

Zustand: Very Good. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Zustand: 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.

Zustand: Very Good. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Zustand: As New. Unread book in perfect condition.

Zustand: As New. Unread book in perfect condition.

Zustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,400grams, ISBN:9781461363996.

Zustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,400grams, ISBN:9781461363996.

Zustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,400grams, ISBN:9781461363996.

Zustand: As New. Unread book in perfect condition.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 15th International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI 2014, held in San Diego, CA, USA, in January 2013. The 25 revised full papers presented were carefully reviewed and selected from 64 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.…

Taschenbuch. Zustand: Neu. Verification, Model Checking, and Abstract Interpretation | 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings | Kenneth Mcmillan (u. a.) | Taschenbuch | xviii | Englisch | 2014 | Springer | EAN 9783642540127 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Hardcover. Zustand: Brand New. 9.75x6.50x0.75 inches. In Stock.

Gebunden. Zustand: New.

Zustand: As New. Unread book in perfect condition.

Buch. Zustand: Neu. Neuware - Foreword. Preface. 1. Introduction. 2. Model Checking. 3. Symbolic Model Checking. 4. The SMV System. 5. A Distributed Cache Protocol. 6. Mu-Calculus Model Checking. 7. Induction and Model Checking. 8. Equivalence Computations. 9. A Partial Order Apporach. 10. Conclusion. References. Index. …

Single Issue Magazine. Zustand: Fair. First Edition. Pages 86-168+ 20 pages of nice ads, including photo of Earle E. Liederman, "The Muscle Builder". Features: Mazulla and His Sahib, part 1 - moving Indian adventures, with photos; Neilson's New Man -a story of country life in New Zealand; The Tale-Teller of Algiers - the strange adventure of a visitor to Algiers in October, 1925; Mussolini's War Against the Mafia in Sicily - describes the first stage of the great 'clean-up' - a most dramatic and exciting business - article with photos of Police Commissioner Spano, Signor Mori of Palermo, Gaetono Ferrarello, Carmelo Andaloro, Salvatore Ferrarello, and Nicolo Andaloro; Mr. Stepper, I.D.B. - a diamond story; The Trouble in Coeur D'Alene - part 2 - going undercover to investigage labor-management conflict in the mining district of Northern Idaho - with photos; "Free-Trading" in the Arctic - great photo-illustrated article about white traders living in remote Indian and Eskimo territories; Photo of Korean wedding; One Thing After Another - troubles on the Inyoka Tobacco Estate in Rhodesia, with photo of author and trouble-making jackal; Across North America in a Motor-Boat, part 4 of this record-setting 6,000 mile trip - with maps and photos; The Cleverest Thieves on Earth - The Criminal Tribes of India - a photo-illustrated account of the 'crims' and their hereditary war against society. Above-average external wear. A worthy vintage copy.; 4to - over 9¾" - 12" tall; The Wide World Magazine - True Stories of Adventure, December (Dec.) 1926, Vol. LVIII, No. 344 - Mussolini's War Against the Mafia Gangi Brigands Sansiah photo of Earle E. Liederman, "The Muscle Builder". Features: Mazulla and His Sahib, part 1 - mov. Illustrated by Prater, Ernest; Fraser, Peter; Woodville, R. Caton; Inns,Kenneth; Wood, Stanley L.; Vedder, S.H.; Sutcliffe, Norman (illustrator).…