Mcmillan kenneth (19 Ergebnisse)
- Softcover
Anbieter: Wonder Book, Frederick, MD, USAWonder Book
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 6,20
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: As New. Like New condition. A near perfect copy that may have very minor cosmetic defects.
- Softcover
Anbieter: Better World Books: West, Reno, NV, USABetter World Books: West
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 6,96
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
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.
Anbieter: Better World Books, Mishawaka, IN, USABetter World Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 5,97
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
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.
Anbieter: Better World Books, Mishawaka, IN, USABetter World Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 5,97
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
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.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 11,74
EUR 13,94 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 16,13
EUR 13,94 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Anybook.com, Lincoln, Vereinigtes KönigreichAnybook.com
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 48,66
EUR 15,83 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
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.
- Softcover
Anbieter: Anybook.com, Lincoln, Vereinigtes KönigreichAnybook.com
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 48,66
EUR 15,83 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
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.
- Softcover
Anbieter: Anybook.com, Lincoln, Vereinigtes KönigreichAnybook.com
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 48,66
EUR 15,83 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
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.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,90
EUR 13,94 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,90
EUR 13,94 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,34
EUR 30,50 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Formal verification means having a mathematical model of a system, a language for specifying desired properties of the system in a concise, comprehensible and unambiguous way, and a method of proof to verify that the specified properties are satisfie…d. When the method of proof is carried out substantially by machine, we speak of automatic verification. Symbolic Model Checking deals with methods of automatic verification as applied to computer hardware. The practical motivation for study in this area is the high and increasing cost of correcting design errors in VLSI technologies. There is a growing demand for design methodologies that can yield correct designs on the first fabrication run. Moreover, design errors that are discovered before fabrication can also be quite costly, in terms of engineering effort required to correct the error, and the resulting impact on development schedules. Aside from pure cost considerations, there is also a need on the theoretical side to provide a sound mathematical basis for the design of computer systems, especially in areas that have received little theoretical attention.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,97
EUR 30,50 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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 carefu…lly 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.
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 94,06
EUR 13,94 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,45
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
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 Ver…lag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Hardcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 104,46
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Gebunden. Zustand: New.
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 133,35
EUR 30,50 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
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.
The Wide World Magazine - True Stories of Adventure, December (Dec.) 1926, Vol. LVIII, No. 344 - Mussolini's War Against the Mafia
Malyon, Major F.H.; Burton-Warnock, J.; Bailey, Hiram P.; Vivian, Herbert; Stent, Vere; Siringo, C.; tench, C.; Lloyd-Watkins, H.; Hogg, J.McMillan, R.; Tucker, F. Booth
Verlag: George Newnes Limited, London, 1926
- Softcover
- Erstausgabe
- Magazin//Zeitschrift
Anbieter: RareNonFiction, IOBA, Ladysmith, BC, KanadaRareNonFiction, IOBA
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: IOBA
Zustand: Gebraucht - Ausreichend
EUR 172,95
EUR 17,21 VersandVersand von Kanada nach USAAnzahl: 1 verfügbar
In den WarenkorbSingle 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).
Anbieter: Berliner Büchertisch eG, Berlin, DeutschlandBerliner Büchertisch eG
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 5,19
EUR 100,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
DVD-Hülle. Zustand: Gut. Standard Version. Versand im Luftpolsterumschlag! DVD-Hülle etwas berieben, Disc ist in einem guten Zustand; Case shows some wear, disc in good condition H260812dvdm22 ISBN: 4010324021151 Altersfreigabe FSK ab 12 Jahre Sprache: Deutsch Gewicht in Gramm: 102.
