Montant total (1 article articles) :
Destination de la commande :
peled doron (203 résultats)
Commentaires
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (202)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (1)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Etat En savoir plus
- Neuf (158)
- Comme neuf, Très bon ou Bon (26)
- Assez bon ou satisfaisant (14)
- Moyen ou mauvais (Aucun autre résultat ne correspond à ces critères)
- Conformément à la description (5)
Particularités
- Ed. originale (3)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (1)
- Avec images (73)
- Sans impressions à la demande (172)
Langue (2)
Livraison gratuite
Pays
Evaluation du vendeur
-
Model Checking
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 7,81
Autre deviseGratuit expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Good. Used book that is in clean, average condition without any missing pages.
-
Model Checking (Cyber-Physical Systems)
Vendeur : Half Price Books Inc., Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 6,73
Autre deviseEUR 2,97 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority!
-
Software Reliability Methods
Vendeur : Better World Books: West, Reno, NV, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Edition originale
EUR 10,22
Autre deviseGratuit expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : As New. 1st Edition. Used book that is in almost brand-new condition.
-
Model Checking
Vendeur : Better World Books Ltd, Dunfermline, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 7,42
Autre deviseEUR 9,16 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Very Good. Ships from the UK. Used book that is in excellent condition. May show signs of wear or have minor defects.
-
Software Reliability Methods (Texts in Computer Science)
Vendeur : Solr Books, Lincolnwood, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 10,23
Autre deviseEUR 6,80 expédition vers Etats-UnisQuantité 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.
-
Model Checking
Vendeur : Bellwetherbooks, McKeesport, PA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 14,70
Autre deviseEUR 3,37 expédition vers Etats-UnisQuantité disponible : 19 disponible(s)
Ajouter au panierhardcover. Etat : Fine. LIKE NEW!!! Has a red or black remainder mark on bottom/exterior edge of pages.
-
Model Checking
Vendeur : Fulano Books, Cambridge, MA, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 15,84
Autre deviseEUR 5,18 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierLike New+ condition; some coloration imperfections but otherwise impressively clean copy; dust cover not included.
-
Software Reliability Methods
Edité par Springer-Verlag New York Inc., 2001
ISBN 10 : 0387951067 ISBN 13 : 9780387951065
Langue: anglais
EUR 3
Autre deviseEUR 22,50 expédition depuis France vers Etats-UnisQuantité 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.
-
Partial Order Methods in Verification. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Volume 29
Edité par American Mathematical Society, 1997
ISBN 10 : 0821805797 ISBN 13 : 9780821805794
Langue: anglais
Vendeur : Zubal-Books, Since 1961, Cleveland, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 23,03
Autre deviseEUR 3,84 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Fine. 403 pp., hardcover, fine. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
-
Partial Order Methods in Verification: Dimacs Workshop July 24-26, 1996 (DIMACS SERIES IN DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE)
Edité par Amer Mathematical Society, 1997
ISBN 10 : 0821805797 ISBN 13 : 9780821805794
Langue: anglais
Vendeur : Lavendier Books, Foster, RI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 23,71
Autre deviseEUR 4,26 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierhardcover. Etat : Very Good. American Mathematical Society; Providence, 1997. Hardcover. A Very Good, binding sturdy and intact, some handling/scuff marks to boards, bit of crimping to spine edges, faint smudge marks top text block edge, rubbing to board corners, without Dust wrapper. A nice, clean and unmarked copy. 8vo[octavo or approx. 6 x 9 inches]. 403pp. We pack securely and ship daily with delivery confirmation on every book. The picture on the listing page is of the actual book for sale. Additional Scan(s) are available for any item, please inquire.Please note: Oversized books/sets MAY require additional postage then what is quoted for 2.2lb book.
-
The Spin Verification System: Dimacs Workshop, August 5, 1996
Edité par American Mathematical Society, 1997
ISBN 10 : 0821806807 ISBN 13 : 9780821806807
Langue: anglais
EUR 6,99
Autre deviseEUR 22,50 expédition depuis France vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Très bon. Ancien livre de bibliothèque. Couverture différente. Edition 1997. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Different cover. Edition 1997. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Formal Techniques for Networked and Distributed Systems - FORTE 2002
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 24,55
Autre deviseEUR 5,96 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
-
Model Checking, second edition (Cyber Physical Systems Series)
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 35,12
Autre deviseEUR 3,20 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierhardcover. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings (Lecture . / Programming and Software Engineering)
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 34,57
Autre deviseEUR 5,96 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Software Reliability Methods
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 45,61
Autre deviseGratuit expédition vers Etats-UnisQuantité 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.
-
Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings (Lecture Notes in Computer Science)
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 41,68
Autre deviseEUR 5,96 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
-
VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION: 9TH INTERNATIONAL CONFERENCE, VMCAI 2008, SAN FRANCISCO, USA, JANUARY 7-9, 2008, . COMPUTER SCIENCE AND GENERAL ISSUES)
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 50,87
Autre deviseGratuit expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Model Checking (Cyber Physical Systems Series)
Vendeur : The Book Spot, Sioux Falls, MN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 51,80
Autre deviseGratuit expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : New.
-
Cross Israel: Rafi Peled [HEBREW WITH ENGLISH INTRODUCTION]
Edité par Givatayim Theatre, Givatayim, 2002
Vendeur : The Book Gallery, Jerusalem, Israël
Évaluation du vendeur 4 sur 5 étoiles
EUR 17,83
Autre deviseEUR 16,78 expédition depuis Israël vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHEBREW WITH ENGLISH INTRODUCTION. 23.5x28.5 cm. Unnumbered pages. Hardcover. Cover slightly dirty. Else in good condition. The book is in : Hebrew.
-
EUR 8,01
Autre deviseEUR 45 expédition depuis Allemagne vers Etats-UnisQuantité 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.
-
Software Reliability Methods
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 52,22
Autre deviseEUR 2,25 expédition vers Etats-UnisQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New.
-
Software Reliability Methods (Texts in Computer Science)
Vendeur : ALLBOOKS1, Direk, SA, Australie
Évaluation du vendeur 5 sur 5 étoiles
EUR 54,55
Autre deviseGratuit expédition depuis Australie vers Etats-UnisQuantité 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.
-
Model Checking, second edition (Cyber Physical Systems Series)
Vendeur : Books From California, Simi Valley, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 51,11
Autre deviseEUR 3,40 expédition vers Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierhardcover. Etat : Fine.
-
Runtime Verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,10
Autre deviseEUR 2,25 expédition vers Etats-UnisQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New.
-
Runtime Verification (Paperback)
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2009
ISBN 10 : 3642046932 ISBN 13 : 9783642046933
Langue: anglais
Vendeur : Grand Eagle Retail, Mason, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 55,43
Autre deviseGratuit expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : new. Paperback. The RV series of workshops brings together researchers from academia and - dustry that are interested in runtime veri?cation. The goal of the RV workshops is to study the ability to apply lightweight formal veri?cation during the exe- tion of programs. This approach complements the o?ine use of formal methods, which often use large resources. Runtime veri?cation methods and tools include the instrumentation of code with pieces of software that can help to test and monitor it online and detect, and sometimes prevent, potential faults. RV 2009 was held during June 26-28 in Grenoble, adjacent to CAV 2009. The program included 11 accepted papers. Two invited talks were given by AmirPnueli,on"CompositionalApproachtoMonitoringLinearTemporalLogic Properties" and Sriram Rajamani on "Veri?cation, Testing and Statistics." The program also included three tutorials. We would like to thank the members of the Program Committee and ad- tional referees for the reviewing and participation in the discussions. The RV series of workshops brings together researchers from academia and industry who are interested in runtime verification. The goal of the RV workshops is to study the ability to apply lightweight formal verification during the execution of programs. This approach complements the offline use of formal methods which often use large resources. Runtime verification methods and tools include the instrumentation of code with pieces of software that can help to test and monitor it online and detect, and sometimes prevent, potential faults. RV 2009 was held on June 26-28 in Grenoble, France, adjacent to CAV 2009. The program included 11 accepted papers. Two invited talkswere given by Amir Pnueli on "Compositional Approach to Monitoring Linear Temporal Logic Properties" and Sriram Rajamani on "Verification, Testing and Statistics." The program also included three turorials. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers (Lecture Notes in Computer Science, 5779)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 51,94
Autre deviseEUR 3,40 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Software Reliability Methods
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,42
Autre deviseEUR 2,25 expédition vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierEtat : New.
-
Software Reliability Methods (Paperback)
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
Évaluation du vendeur 5 sur 5 étoiles
EUR 55,74
Autre deviseGratuit expédition vers Etats-UnisQuantité 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.
-
Formal Techniques for Networked and Distributed Systems - Forte 2002 : 22nd Ifip Wg 6.1 International Conference, Houston, Texas, Usa, November 11-14, 2002 : Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,44
Autre deviseEUR 2,25 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Formal Techniques for Networked and Distributed Systems - FORTE 2002 (Paperback)
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2002
ISBN 10 : 3540001417 ISBN 13 : 9783540001416
Langue: anglais
Vendeur : Grand Eagle Retail, Mason, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 55,77
Autre deviseGratuit expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : new. Paperback. This book constitutes the refereed proceedings of the 22nd IFIP WG 6. 1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Houston, Texas, USA in November 2002. The 22 revised full papers, 2 tool papers, and 2 posters presented were carefully reviewed and selected from 61 submissions. All current aspects of formal method for distributed systems and communication protocols are addressed, in particular formal specification, testing, and verification of such systems. The IFIP TC6 WG 6.1 Joint International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, was held this year at Rice University, Houston, Texas, on November 1114. Protocol testing, including conformance testing, interoperability testing, and performance testing. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
