Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 47,56
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2016
ISBN 10: 3319294725 ISBN 13: 9783319294728
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 63,10
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. revised edition. 216 pages. 9.25x6.10x0.49 inches. In Stock.
Sprache: Englisch
Verlag: Springer International Publishing, 2016
ISBN 10: 3319294725 ISBN 13: 9783319294728
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: 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.
Taschenbuch. Zustand: 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.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 101,56
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 143,56
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 800 pages. 9.25x6.10x1.69 inches. In Stock.
Taschenbuch. Zustand: 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.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3319955810 ISBN 13: 9783319955810
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: 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.
Verlag: [Hollywood, CA]: Walt Disney. 1972., 1972
Anbieter: Wittenborn Art Books, San Francisco, CA, USA
Manuskript / Papierantiquität
Zustand: 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.
Verlag: N.p., N.p., 1972
Anbieter: Royal Books, Inc., ABAA, Baltimore, MD, USA
Fotografie
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.