Verlag: Abingdon Press, 1985
ISBN 10: 0687456045 ISBN 13: 9780687456048
Anbieter: Better World Books, Mishawaka, IN, USA
Zustand: Very Good. Used book that is in excellent condition. May show signs of wear or have minor defects.
Verlag: CreateSpace Independent Publishing Platform, 2015
ISBN 10: 1507852568 ISBN 13: 9781507852569
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich
Paperback. Zustand: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
Verlag: Prentice/Hall International, 1980
ISBN 10: 0138218846 ISBN 13: 9780138218843
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich
Hardback. Zustand: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
Verlag: Imprint unknown, 1990
ISBN 10: 0951657003 ISBN 13: 9780951657003
Anbieter: Reuseabook, Gloucester, GLOS, Vereinigtes Königreich
Hardcover. Zustand: Used; Good. Dispatched, from the UK, within 48 hours of ordering. This book is in good condition but will show signs of previous ownership. Please expect some creasing to the spine and/or minor damage to the cover. Damaged book. Slightly damaged in some way typically, a grazed corner or torn cover.
Verlag: Longman Higher Education 01/03/1986, 1986
ISBN 10: 0138807175 ISBN 13: 9780138807177
Anbieter: AwesomeBooks, Wallingford, Vereinigtes Königreich
Zustand: Very Good. This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. .
Verlag: BookSurge Publishing (edition 1), 2008
ISBN 10: 1419685554 ISBN 13: 9781419685552
Anbieter: BooksRun, Philadelphia, PA, USA
Paperback. Zustand: Good. 1. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported.
Verlag: Broadway, 1997
ISBN 10: 0553067338 ISBN 13: 9780553067330
Anbieter: Better World Books, Mishawaka, IN, USA
Zustand: Very Good. Used book that is in excellent condition. May show signs of wear or have minor defects.
Verlag: CreateSpace Independent Publishing Platform 14 N, 2016
ISBN 10: 1540336123 ISBN 13: 9781540336125
Anbieter: AwesomeBooks, Wallingford, Vereinigtes Königreich
Paperback. Zustand: Very Good. A Time Lord For Change: in an exciting adventure with the Drabbles. This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. .
Verlag: Prentice-Hall, 1989
ISBN 10: 0138807337 ISBN 13: 9780138807337
Anbieter: Ammareal, Morangis, Frankreich
Softcover. Zustand: Bon. Ancien livre de bibliothèque. Traces de pliures sur la couverture. Couverture différente. Edition 1989. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Traces of creases on the cover. Different cover. Edition 1989. Ammareal gives back up to 15% of this item's net price to charity organizations.
Verlag: Springer, Surrey, 1999
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
Paperback. Zustand: Very Good. Paperback journal with very few superficial marks and scores on covers, and lightly worn edges, leading corners and spine ends. Pages are clean and sound throughout; all content is clear. TS. Used.
Verlag: Omnibus Press, United Kingdom, London, 1996
ISBN 10: 0711955719 ISBN 13: 9780711955714
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich
Paperback. Zustand: Very Good. A history of rock band Pink Floyd, from the late 1960s through to the early 1990s, which looks at every track they have produced and features accounts from band members, producers, engineers, friends and tour managers. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
Verlag: Dunod, 1992
ISBN 10: 2225828121 ISBN 13: 9782225828126
Anbieter: Ammareal, Morangis, Frankreich
Softcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 1992. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1992. Ammareal gives back up to 15% of this item's net price to charity organizations.
Verlag: Stanley Paul, 1962
Anbieter: World of Rare Books, Goring-by-Sea, SXW, Vereinigtes Königreich
Erstausgabe
Zustand: Good. 1962. First Edition. 192 pages. Pictorial dust jacket over red cloth. Black and white photographic plates. Light foxing and tanning to pages and plates. More prominent to text block edges, pastedowns and free endpapers. Visible tape staining to pastedowns and free endpapers also. Binding is slightly loose but pages remain attached. Boards have minor corner bumping and edgewear. Spine has soft crushing to ends. Book has a slight forward lean. Unclipped dust jacket with minor rubbing, chipping and tearing to edges. Moderate tanning and scuffing overall.
Verlag: Stanley Paul, 1962
Anbieter: World of Rare Books, Goring-by-Sea, SXW, Vereinigtes Königreich
Zustand: Good. 1962. First Published. 192 pages. Illustrated dust jacket over red cloth covered boards with gilt. Contains black and white photographic plates. Pages remain clear with minimal tanning and foxing. Previous owner's inscription to front free end-paper. Plates are bright and clear. Cracking to hinges, no damage to end papers. Binding remains firm. Boards have mild edge-wear with slight rubbing to surfaces. Mild crushing to spine ends. Gilt lettering is bright and clear. Book has a slight forward lean. Clipped jacket has moderate edge-wear with chips, tears and creasing.
Verlag: Prentice-Hall, 1986
ISBN 10: 0138807256 ISBN 13: 9780138807252
Anbieter: Ammareal, Morangis, Frankreich
Softcover. Zustand: Bon. Ancien livre de bibliothèque. Traces d'usure sur la couverture. Edition 1986. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Signs of wear on the cover. Edition 1986. Ammareal gives back up to 15% of this item's net price to charity organizations.
Verlag: Walt Disney Productions, Burbank, CA, 1978
Anbieter: Royal Books, Inc., ABAA, Baltimore, MD, USA
Collection of five studio still photographs from the 1978 re-release of the 1940 film. One with a printed snipe on verso and one with a "Silver Screen" stamp on verso. Laid in is an additional compilation photograph of three studio stills printed by The Disney Channel, circa early 1980s. Based on the 1883 Italian children's novel "The Adventures of Pinocchio" by Carlo Collodi. Walt Disney's second feature length animated film, widely regarded as one of the greatest animated films of all time. Winner of two Academy Awards. 8 x 10 inches. One with small closed tear on top margin and light creasing, else Near Fine. National Film Registry. Ebert I. Rosenbaum 1000.
Verlag: Vision Sports Publishing, 2016
ISBN 10: 1909534641 ISBN 13: 9781909534643
Anbieter: WeBuyBooks, Rossendale, LANCS, Vereinigtes Königreich
Zustand: LikeNew. Most items will be dispatched the same or the next working day.
Verlag: OUP Oxford, 2018
ISBN 10: 1786010984 ISBN 13: 9781786010988
Anbieter: Monster Bookshop, Fleckney, Vereinigtes Königreich
Sheet music. Zustand: New. BRAND NEW ** SUPER FAST SHIPPING FROM UK WAREHOUSE ** 30 DAY MONEY BACK GUARANTEE.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 36,27
Verlag: Angus & Robertson, Sydney, 1988
ISBN 10: 0207157154 ISBN 13: 9780207157158
Anbieter: Book Merchant Jenkins, ANZAAB / ILAB, Woolloongabba, QLD, Australien
Erstausgabe
Softcover. Zustand: Good. Julie Jones (illustrator). First Edition. 23.5cm x 15.5cm. 166 pages, black and white illustrations. Illustrated wrappers. Discolouration to wrappers. Minor tanning to edges. Illustrator: Julie Jones. Shipped Weight: .25 kilos. ISBN: 0207157154. ISBN/EAN: 9780207157158.
Verlag: Rutgers University Press, 2023
ISBN 10: 1978838999 ISBN 13: 9781978838994
Anbieter: Monster Bookshop, Fleckney, Vereinigtes Königreich
paperback. Zustand: New. BRAND NEW ** SUPER FAST SHIPPING FROM UK WAREHOUSE ** 30 DAY MONEY BACK GUARANTEE.
Verlag: CONNECTED THOUGHTS PUB, 2021
ISBN 10: 1737920727 ISBN 13: 9781737920724
Anbieter: moluna, Greven, Deutschland
Zustand: New.
Verlag: IAD Press 01 D, 1995
ISBN 10: 0949659827 ISBN 13: 9780949659828
Anbieter: AwesomeBooks, Wallingford, Vereinigtes Königreich
Paperback. Zustand: Very Good. Punu: Yankunyjatjara Plant Use - Traditional Methods of Preparing Foods, Medicines, Utensils and Weapons from Native Plants This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. .
Verlag: Springer, 2009
ISBN 10: 3540635335 ISBN 13: 9783540635338
Anbieter: getbooks GmbH, Bad Camberg, HE, Deutschland
Taschenbuch. Zustand: Gut. 708 Seiten Gepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer); in der Regel foliiert (Umschlag aus selbstklebender Folie). Zustand unter Berücksichtigung des Alters gut. Tagesaktueller, sicherer und weltweiter Versand. Wir liefern grundsätzlich mit beiliegender Rechnung. 822773.01 Sprache: Englisch Gewicht in Gramm: 975.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 139,98
Gebraucht ab EUR 71,68
Mehr entdecken Softcover
Verlag: Springer Berlin Heidelberg, 2011
ISBN 10: 3642245404 ISBN 13: 9783642245404
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Sehr gut. Zustand: Sehr gut - Neubindung, Buchrücken fehlerhaft geklebt und leicht angestoßen, Ausgabe 2011 | Seiten: 536 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 86,48
Gebraucht ab EUR 82,51
Mehr entdecken Softcover
Verlag: Springer International Publishing, Springer International Publishing, 2021
ISBN 10: 3030592596 ISBN 13: 9783030592592
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book is about describing the meaning of programming languages. The author teaches the skill of writing semantic descriptions as an efficient way to understand the features of a language. While a compiler or an interpreter offers a form of formal description of a language, it is not something that can be used as a basis for reasoning about that language nor can it serve as a definition of a programming language itself since this must allow a range of implementations. By writing a formal semantics of a language a designer can yield a far shorter description and tease out, analyse and record design choices.Early in the book the author introduces a simple notation, a meta-language, used to record descriptions of the semantics of languages. In a practical approach, he considers dozens of issues that arise in current programming languages and the key techniques that must be mastered in order to write the required formal semantic descriptions. The book concludes with a discussion of the eight key challenges: delimiting a language (concrete representation), delimiting the abstract content of a language, recording semantics (deterministic languages), operational semantics (non-determinism), context dependency, modelling sharing, modelling concurrency, and modelling exits. The content is class-tested and suitable for final-year undergraduate and postgraduate courses. It is also suitable for any designer who wants to understand languages at a deep level. Most chapters offer projects, some of these quite advanced exercises that ask for complete descriptions of languages, and the book is supported throughout with pointers to further reading and resources. As a prerequisite the reader should know at least one imperative high-level language and have some knowledge of discrete mathematics notation for logic and set theory.
Verlag: Springer London, 1992
ISBN 10: 3540197524 ISBN 13: 9783540197522
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Refinement is the term used to describe systematic and formal methods of specifying hard- and software and transforming the specifications into designs and implementations. The value of formal methods in producing reliable hard- and software is widely appreciated by academics and workers in industry, despite the fact that certain research areas, such as the application to industrial-scale problems, are still in their infancy. This volume contains the papers presented at the 5th Refinement Workshop held in London, 8-10 January 1992. Its theme was the theory and practice of software specifications, which is the transformation of formal software specifications into more correct specifications, designs and codes. This has been an important area of research for the last 5 years and the workshop addressed specific issues and problems related to it. Among the topics discussed in this volume are: the role of refinement in software development, parallel designs and implementations, methods and tools for verification of critical properties, refinement and confidentiality, concurrent processes as objects, the compliance of Ada programs with Z specifications and a tactic driven refinement tool. This is the latest refinement workshop proceedings to be published in the Workshops in Computing series (the 3rd and 4th workshops having appeared in 1990 and 1991 respectively). It will be of interest to academic and industrial researchers, postgraduate students and research-oriented developers in the computer industry.
Verlag: Springer Berlin Heidelberg, 1987
ISBN 10: 3540176543 ISBN 13: 9783540176541
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - VDM: Origins, hopes, and achievements.- Experience using VDM in STC.- VDM in three generations of Ada formal descriptions.- Experience with VDM in NORSK DATA.- Using VDM in an Object-Oriented development method for Ada software.- The stepwise development of software development graphs ¿ Meta-programming VDM developments.- Heap storage specification and development.- VDM as a specification method for telecommunications software.- Support environments for VDM.- Development and application of a META IV compiler.- From VDM to RAISE.- Denotational engineering or from denotations to syntax.- A type model for VDM.- A formal description of object-oriented programming using VDM.- VDM proof obligations and their justification.- Mathematical structures and their morphisms in Meta-IV.- Objectives of the British Standardisation of a language to support the Vienna development method.- Use of VDM within CCITT.- A formal semantics for a DataFlow Machine ¿ Using VDM.- to the VDM tutorial.- Specification by data types.- Data reification and program decomposition.
Verlag: Springer Berlin Heidelberg, 2005
ISBN 10: 3540258132 ISBN 13: 9783540258131
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Communicating Sequential Processes. 1 Tony Hoare's paper 'Communicating Sequential Processes' is today widely regarded as one of the most in uential papers in computer science. To comm- orate it, an event was organized under the auspices of BCS-FACS (the British Computer Society's Formal Aspects of Computing Science specialist group). CSP25 was one of a series of such events organized to highlight the use of formal methods, emphasize their relevance to modern computing and promote their wider application. BCS-FACS is proud that Tony Hoare presented his original ideas on CSP at one of its rst meetings, in 1978. The two-day event, 7-8 July 2004, was hosted by London South Bank U- versity's Institute for Computing Research, Faculty of Business, Computing and Information Management. The intention was to celebrate, re ect upon and look beyondthe rstquarter-centuryofCSP'scontributionstocomputerscience. The meeting examined the impact of CSP on many areas stretching from semantics (mathematical models for understanding concurrency and communications) and logic(forreasoningaboutbehavior),throughthedesignofparallelprogramming languages (i/o, parallelism, synchronization and threads) to applications va- ing from distributed software and parallel computing to information security, Web services and concurrent hardware circuits. It included a panel discussion with panelists Brookes, Hoare, de Roever and Roscoe (chaired by Je Sanders), poster presentations by PhD students and others, featured a re alarm (requ- ing evacuation in the rain!) and concluded with the presentation of a fountain pen to Prof. Sir C. A. R. Hoare.
Verlag: Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3030014606 ISBN 13: 9783030014605
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume is published in honor of Professor Chaochen Zhou's 80th birthday. The Festschrift contains 13 refereed papers by leading researchers who were among the participants of the celebratory conference in Changsha, China that took place in October 2017. The papers cover a broad spectrum of subjects related to Formal Methods for the development of computer systems. Topics include Probabilistic Programming, Concurrency, Quantum Computing, Domain Engineering, Real-time and Hybrid Systems, and Cloud Computing.Chaochen Zhou is internationally recognized for his own contributions and for the wide influence that he has had through his appointments in Oxford (UK) where he collaborated with Professor Tony Hoare, Lyngby (Denmark) where he worked with Professor Dines Bjørner, UNU-IIST (Macau) where he moved from being Principal Research Fellow to his appointed as Director of the Institute, as well as in Beijing. His book on the Duration Calculus (joint with Michael Hansen) made a seminal contribution to specifying and reasoning about real-time systems. Chaochen Zhou's contributions have been marked by his election as a member of the Chinese Academy of Sciences.
Verlag: Springer Berlin Heidelberg, 2009
ISBN 10: 3642008666 ISBN 13: 9783642008665
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The growing complexity of modern software systems increases the di culty of ensuring the overall dependability of software-intensive systems. Complexity of environments, in which systems operate, high dependability requirements that systems have to meet, as well as the complexity of infrastructures on which they rely make system design a true engineering challenge. Mastering system complexity requires design techniques that support clear thinking and rigorous validation and veri cation. Formal design methods help to achieve this. Coping with complexity also requires architectures that are t- erant of faults and of unpredictable changes in environment. This issue can be addressed by fault-tolerant design techniques. Therefore, there is a clear need of methods enabling rigorous modelling and development of complex fault-tolerant systems. This bookaddressessuchacuteissues indevelopingfault-tolerantsystemsas: - Veri cation and re nement of fault-tolerant systems - Integrated approaches to developing fault-tolerant systems - Formal foundations for error detection, error recovery, exception and fault handling - Abstractions, styles and patterns for rigorousdevelopment of fault tolerance - Fault-tolerant software architectures - Development and application of tools supporting rigorous design of depe- able systems - Integrated platforms for developing dependable systems - Rigorous approaches to speci cation and design of fault tolerance in novel computing systems TheeditorsofthisbookwereinvolvedintheEU(FP-6)projectRODIN(R- orous Open Development Environment for Complex Systems), which brought together researchers from the fault tolerance and formal methods communi- 1 ties. In 2007 RODIN organized the MeMoT workshop held in conjunction with theIntegrated Formal Methods 2007 Conference at Oxford University.