Vendeur : Better World Books: West, Reno, NV, Etats-Unis
Edition originale
EUR 10,24
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : As New. 1st Edition. Used book that is in almost brand-new condition.
Vendeur : Solr Books, Lincolnwood, IL, Etats-Unis
EUR 10,25
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : very_good. This books is in Very good condition. There may be a few flaws like shelf wear and some light wear.
Edité par Springer-Verlag New York Inc., 2001
ISBN 10 : 0387951067 ISBN 13 : 9780387951065
Langue: anglais
Vendeur : Ammareal, Morangis, France
Quantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : 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.
EUR 45,71
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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 8,01
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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 54,67
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
EUR 53,55
Autre deviseQuantité disponible : 2 disponible(s)
Ajouter au panierEtat : New.
Edité par Springer-Verlag New York Inc., New York, NY, 2011
ISBN 10 : 1441928766 ISBN 13 : 9781441928764
Langue: anglais
Vendeur : Grand Eagle Retail, Mason, OH, Etats-Unis
EUR 55,89
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : new. Paperback. 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. Many books focus on increasing the quality of software through the use of formal methods. One of the main challenges of formal methods is in transferring the tech nology developed by researchers to the software development community. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
EUR 52,39
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
EUR 53,97
Autre deviseQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New.
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
EUR 52,79
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
EUR 55,42
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Used. pp. 356.
EUR 54,17
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Used. pp. 356 Illus.
EUR 61,13
Autre deviseQuantité disponible : 2 disponible(s)
Ajouter au panierEtat : As New. Unread book in perfect condition.
EUR 61,54
Autre deviseQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : As New. Unread book in perfect condition.
Edité par Springer-Verlag Inc, New York, 2001
Vendeur : Somerset Books, Glastonbury, Royaume-Uni
Edition originale
EUR 18,87
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : 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,82
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
EUR 56,71
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Used. pp. 356.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 57,95
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
EUR 62,82
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
EUR 85,39
Autre deviseQuantité disponible : 14 disponible(s)
Ajouter au panierBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
EUR 70,09
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
EUR 79,22
Autre deviseQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 350 pages. 9.25x6.10x0.80 inches. In Stock.
Edité par Springer New York, Springer New York Okt 2011, 2011
ISBN 10 : 1441928766 ISBN 13 : 9781441928764
Langue: anglais
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
EUR 53,49
Autre deviseQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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 64,08
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : 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.
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher.
Edité par Springer New York, Springer New York, 2011
ISBN 10 : 1441928766 ISBN 13 : 9781441928764
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 58,55
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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.
Edité par Springer-Verlag New York Inc., New York, NY, 2011
ISBN 10 : 1441928766 ISBN 13 : 9781441928764
Langue: anglais
Vendeur : AussieBookSeller, Truganina, VIC, Australie
EUR 109,24
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : new. Paperback. 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. Many books focus on increasing the quality of software through the use of formal methods. One of the main challenges of formal methods is in transferring the tech nology developed by researchers to the software development community. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 129,92
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Edité par Springer New York Jun 2001, 2001
ISBN 10 : 0387951067 ISBN 13 : 9780387951065
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 86,02
Autre deviseQuantité disponible : 2 disponible(s)
Ajouter au panierBuch. Etat : 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.