Lingua: Inglese
Editore: Cambridge University Press, 2022
ISBN 10: 110846887X ISBN 13: 9781108468879
Da: Anybook.com, Lincoln, Regno Unito
EUR 27,48
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: 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,500grams, ISBN:9781108468879.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 60,72
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Chiron Media, Wallingford, Regno Unito
EUR 57,15
Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Lingua: Inglese
Editore: Fairleigh Dickinson University Press, 2016
ISBN 10: 1611477050 ISBN 13: 9781611477054
Da: Michener & Rutledge Booksellers, Inc., Baldwin City, KS, U.S.A.
Hardcover. Condizione: As New. Text clean and tight; no dust jacket; Law, Culture, and the Humanities Series; 9.06 X 6.22 X 1.81 inches; 538 pages.
Condizione: New. pp. 392.
Da: Revaluation Books, Exeter, Regno Unito
EUR 81,79
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 392 pages. 9.21x6.14x0.89 inches. In Stock.
Da: Librería Pérez Galdós, Madrid, M, Spagna
EUR 39,00
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: leido. 1. ed. edición. rúst. 160.
EUR 64,08
Quantità: Più di 20 disponibili
Aggiungi al carrelloKartoniert / Broschiert. Condizione: New. 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 appre.
Da: Mispah books, Redhill, SURRE, Regno Unito
EUR 107,59
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. Like New. book.
Lingua: Inglese
Editore: Springer, Berlin, Springer London, Springer, 1992
ISBN 10: 3540197524 ISBN 13: 9783540197522
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 79,32
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware - 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.
Da: Majestic Books, Hounslow, Regno Unito
EUR 82,67
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 392 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 82,16
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 392.