bill roscoe (8 Ergebnisse)

Paperback. Zustand: Brand New. revised edition. 216 pages. 9.25x6.10x0.49 inches. In Stock.

Taschenbuch. Zustand: Neu. 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 GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

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.

Paperback. Zustand: Brand New. 800 pages. 9.25x6.10x1.69 inches. In Stock.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 708 pp. Englisch.

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.

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.

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.