Publicado por Springer-Verlag New York Inc., 2001
ISBN 10: 0387951067 ISBN 13: 9780387951065
Idioma: Inglés
Librería: Ammareal, Morangis, Francia
EUR 3,00
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Très bon. Ancien livre de bibliothèque. Edition 2001. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2001. Ammareal gives back up to 15% of this item's net price to charity organizations.
Librería: GoldBooks, Denver, CO, Estados Unidos de America
EUR 35,95
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: new.
Librería: Solr Books, Lincolnwood, IL, Estados Unidos de America
EUR 37,42
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: very_good. This books is in Very good condition. There may be a few flaws like shelf wear and some light wear.
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
EUR 48,24
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
EUR 54,09
Cantidad disponible: 2 disponibles
Añadir al carritoCondición: New.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 52,89
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 53,30
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
EUR 55,75
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Used. pp. 356.
EUR 54,94
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Used. pp. 356 Illus.
EUR 62,93
Cantidad disponible: 2 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Publicado por Springer-Verlag Inc, New York, 2001
Librería: Somerset Books, Glastonbury, Reino Unido
Original o primera edición
EUR 18,69
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Near Fine. No Jacket. 1st Edition. Near Fine / -- First printing of first edition. Series editors David Gries and Fred B. Schneider. B/w illustrations. In the series Texts in Computer Science. Pictorial boards. Binding is very firm and tight. Interior is very clean with no inscriptions. Not ex-library.
EUR 53,29
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
EUR 56,52
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Used. pp. 356.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 57,39
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
EUR 82,01
Cantidad disponible: 5 disponibles
Añadir al carritoBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
EUR 67,88
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
EUR 69,43
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
EUR 79,65
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 350 pages. 9.25x6.10x0.80 inches. In Stock.
EUR 7,15
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
EUR 64,08
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. This book presents current methods for dealing with software reliability, illustrating the advantages and disadvantages of each method. The description of the techniques is intended for a non-expert audience with some minimal technical background. It also d.
Publicado por Springer New York, Springer New York Okt 2011, 2011
ISBN 10: 1441928766 ISBN 13: 9781441928764
Idioma: Inglés
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 53,49
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Neuware -Many books focus on increasing the quality of software through the use of formal methods. However, most books embrace one particular method, and present it as the suggested solution for the software reliability problem. This book presents a wider picture of formal methods, through a collection of notations and techniques. It compares them, and discusses their advantages and disadvantages. One of the main challenges of formal methods is in transferring the tech nology developed by researchers to the software development community. Re cently, we seem to be starting to have a better understanding of the important ingredients of formal methods tools. This manifests itself in the growing ac ceptance of such tools in the software and hardware development industry. Ideally, formal methods need to be intuitive to use (preferably using graphi cal interfaces), do not impose on the user an extensive learning period, and incur only small overhead to the development process. Formal methods are much more acceptable today than ten or twenty years ago, in particular in the hardware industry. Yet there is still a lively contention between different approaches.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch.
EUR 49,15
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Software Reliability Methods | Doron A. Peled | Taschenbuch | xix | Englisch | 2011 | Springer New York | EAN 9781441928764 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Publicado por Springer New York, Springer New York, 2011
ISBN 10: 1441928766 ISBN 13: 9781441928764
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 58,55
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Many books focus on increasing the quality of software through the use of formal methods. However, most books embrace one particular method, and present it as the suggested solution for the software reliability problem. This book presents a wider picture of formal methods, through a collection of notations and techniques. It compares them, and discusses their advantages and disadvantages. One of the main challenges of formal methods is in transferring the tech nology developed by researchers to the software development community. Re cently, we seem to be starting to have a better understanding of the important ingredients of formal methods tools. This manifests itself in the growing ac ceptance of such tools in the software and hardware development industry. Ideally, formal methods need to be intuitive to use (preferably using graphi cal interfaces), do not impose on the user an extensive learning period, and incur only small overhead to the development process. Formal methods are much more acceptable today than ten or twenty years ago, in particular in the hardware industry. Yet there is still a lively contention between different approaches.
EUR 15,98
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher.
Librería: Mispah books, Redhill, SURRE, Reino Unido
EUR 108,64
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Like New. Like New. book.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 128,66
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Publicado por Springer New York Jun 2001, 2001
ISBN 10: 0387951067 ISBN 13: 9780387951065
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 86,02
Cantidad disponible: 2 disponibles
Añadir al carritoBuch. Condición: Neu. Neuware - Many books focus on increasing the quality of software through the use of formal methods. However, most books embrace one particular method, and present it as the suggested solution for the software reliability problem. This book presents a wider picture of formal methods, through a collection of notations and techniques. It compares them, and discusses their advantages and disadvantages. One of the main challenges of formal methods is in transferring the tech nology developed by researchers to the software development community. Re cently, we seem to be starting to have a better understanding of the important ingredients of formal methods tools. This manifests itself in the growing ac ceptance of such tools in the software and hardware development industry. Ideally, formal methods need to be intuitive to use (preferably using graphi cal interfaces), do not impose on the user an extensive learning period, and incur only small overhead to the development process. Formal methods are much more acceptable today than ten or twenty years ago, in particular in the hardware industry. Yet there is still a lively contention between different approaches.
Publicado por China Press, 2000
ISBN 10: 7111365534 ISBN 13: 9787111365532
Librería: liu xing, Nanjing, JS, China
EUR 63,42
Cantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: New. Paperback Language: Chinese. English. Software Reliability Methods said through a large number of formal and technical. to provide readers with a variety of formal methods to improve software reliability. including the interpretation of the verification. automated verification. testing and process algebra. The book closely focus on logic and automata theory. the main line. and compare the various methods. and discuss their advantages and disadvantages. The book contains a number of instances .
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
EUR 58,91
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.