Condizione: New.
Editore: Warner Brothers, 1974
Da: AcornBooksNH, New Harbor, ME, U.S.A.
Soft cover. Condizione: VG+. A VG or better original release folded 27 x 41 one sheet. Size: 27" x 41". Poster.
Lingua: Inglese
Editore: Wm. B. Eerdmans Publishing Company 1990-06-01, 1990
ISBN 10: 0802804586 ISBN 13: 9780802804587
Da: Chiron Media, Wallingford, Regno Unito
EUR 24,61
Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Da: Majestic Books, Hounslow, Regno Unito
EUR 4,38
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 47,96
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Chiron Media, Wallingford, Regno Unito
EUR 44,47
Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 4,96
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND.
Editore: New York: Magabook May 1950 First Edition Digest Magazine, New York, 1950
Da: N & A Smiles, Kellerberrin, WA, Australia
Rivista / Giornale Prima edizione
EUR 26,60
Quantità: 1 disponibili
Aggiungi al carrelloSoft cover. Condizione: Very Good. 1st Edition. VG+ Light edgewear, otherwise a very attractive copy. Cover by Bill Stone.
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2016
ISBN 10: 3319294725 ISBN 13: 9783319294728
Da: Revaluation Books, Exeter, Regno Unito
EUR 63,96
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. revised edition. 216 pages. 9.25x6.10x0.49 inches. In Stock.
Lingua: Inglese
Editore: Springer International Publishing, 2016
ISBN 10: 3319294725 ISBN 13: 9783319294728
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 42,80
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes revised selected papers from the18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in BeloHorizonte, Brazil, in September 2015.The 11 papers presented in this volume were carefullyreviewed and selected from 25 submissions. They were organized in topicalsections named: model checking; languages and semantics; refinement andverification; testing and evaluation.
Da: preigu, Osnabrück, Germania
EUR 41,40
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Formal Methods: Foundations and Applications | 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings | Márcio Cornélio (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xviii | Englisch | 2016 | Springer | EAN 9783319294728 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 102,40
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Chiron Media, Wallingford, Regno Unito
EUR 100,95
Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Condizione: New. 1st ed. 2018 edition NO-PA16APR2015-KAP.
Da: Mispah books, Redhill, SURRE, Regno Unito
EUR 110,75
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. Like New. book.
Da: Revaluation Books, Exeter, Regno Unito
EUR 145,52
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 800 pages. 9.25x6.10x1.69 inches. In Stock.
Da: preigu, Osnabrück, Germania
EUR 86,20
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Formal Methods | 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings | Klaus Havelund (u. a.) | Taschenbuch | xiv | Englisch | 2018 | Springer | EAN 9783319955810 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Lingua: Inglese
Editore: Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3319955810 ISBN 13: 9783319955810
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 96,29
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 22nd InternationalSymposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.The 44 full papers presented together with 2 invited papers were carefullyreviewed and selected from 110 submissions. They presentformal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical systems in general. The papers cover a broad range of topics in the following areas: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software systems engineering; and theoretical foundations.
Editore: [Hollywood, CA]: Walt Disney. 1972., 1972
Da: Wittenborn Art Books, San Francisco, CA, U.S.A.
Manoscritto / Collezionismo cartaceo
Condizione: Good. 36 x 14 inches. Rolled Full Color Movie Poster, Very Good with Slight creasing. John Amos, Roscoe Lee Browne, Tim Conway, Dayle Haddon, and Jan-Michael Vincent.
Editore: N.p., N.p., 1972
Da: Royal Books, Inc., ABAA, Baltimore, MD, U.S.A.
Fotografia
Vintage borderless reference photograph of Gene Hackman and Kris Kristofferson on the set of the 1972 film. An underrated gem of the New Hollywood era, following a former rock star who has become a drug dealer and subsequently a blackmail target for a corrupt cop. A moody and affecting film, alternating between humor and genuine tension, shot on location in Los Angeles in the wild and woolly early 1970s. Kristofferson's screen debut, and a show-stealing performance from Harry Dean Stanton (as usual). 8 x 10 inches. About Near Fine.
Da: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 38,23
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
Lingua: Inglese
Editore: Springer International Publishing Feb 2016, 2016
ISBN 10: 3319294725 ISBN 13: 9783319294728
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 42,80
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes revised selected papers from the18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in BeloHorizonte, Brazil, in September 2015.The 11 papers presented in this volume were carefullyreviewed and selected from 25 submissions. They were organized in topicalsections named: model checking; languages and semantics; refinement andverification; testing and evaluation. 216 pp. Englisch.
Da: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 78,24
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
Lingua: Inglese
Editore: Springer International Publishing, 2016
ISBN 10: 3319294725 ISBN 13: 9783319294728
Da: moluna, Greven, Germania
EUR 39,61
Quantità: Più di 20 disponibili
Aggiungi al carrelloKartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes revised selected papers from the18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in BeloHorizonte, Brazil, in September 2015.The 11 papers presented in this volume were carefullyreviewed and sele.
Lingua: Inglese
Editore: Springer, Springer Feb 2016, 2016
ISBN 10: 3319294725 ISBN 13: 9783319294728
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 42,80
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes revised selected papers from the18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in BeloHorizonte, Brazil, in September 2015.The 11 papers presented in this volume were carefullyreviewed and selected from 25 submissions. They were organized in topicalsections named: model checking; languages and semantics; refinement andverification; testing and evaluation.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 216 pp. Englisch.
Da: Majestic Books, Hounslow, Regno Unito
EUR 99,87
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 213.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 105,86
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 213.
Lingua: Inglese
Editore: Springer International Publishing Jul 2018, 2018
ISBN 10: 3319955810 ISBN 13: 9783319955810
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 96,29
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 22nd InternationalSymposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.The 44 full papers presented together with 2 invited papers were carefullyreviewed and selected from 110 submissions. They presentformal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical systems in general. The papers cover a broad range of topics in the following areas: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software systems engineering; and theoretical foundations. 708 pp. Englisch.
Lingua: Inglese
Editore: Springer International Publishing, 2018
ISBN 10: 3319955810 ISBN 13: 9783319955810
Da: moluna, Greven, Germania
EUR 83,50
Quantità: Più di 20 disponibili
Aggiungi al carrelloKartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.The 44 full papers presented together with 2 invited papers were carefully&nb.
Da: Majestic Books, Hounslow, Regno Unito
EUR 130,51
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand.