Montant total (1 article articles) :
Destination de la commande :
thomson steven a (40 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (40)
- 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 (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Etat En savoir plus
- Neuf (31)
- Comme neuf, Très bon ou Bon (3)
- Assez bon ou satisfaisant (6)
- Moyen ou mauvais (Aucun autre résultat ne correspond à ces critères)
- Conformément à la description (Aucun autre résultat ne correspond à ces critères)
Particularités
Langue (2)
Livraison gratuite
- Livraison gratuite à destination de France (Aucun autre résultat ne correspond à ces critères)
Pays
Evaluation du vendeur
-
Secularity and Science: What Scientists Around the World Really Think About Religion
Edité par Oxford University Press, 2019
ISBN 10 : 0190926759 ISBN 13 : 9780190926755
Langue: anglais
Vendeur : Books From California, Simi Valley, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 4,83
Autre deviseEUR 12,45 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierhardcover. Etat : Good.
-
Secularity and Science: What Scientists Around the World Really Think About Religion
Edité par Oxford University Press, 2019
ISBN 10 : 0190926759 ISBN 13 : 9780190926755
Langue: anglais
Vendeur : Books From California, Simi Valley, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 4,83
Autre deviseEUR 12,45 expédition depuis Etats-Unis vers FranceQuantité disponible : 2 disponible(s)
Ajouter au panierhardcover. Etat : Very Good.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 23
Autre deviseEUR 6,87 expédition depuis Etats-Unis vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Secularity and Science: What Scientists Around the World Really Think About Religion
Edité par Oxford University Press, 2019
ISBN 10 : 0190926759 ISBN 13 : 9780190926755
Langue: anglais
Vendeur : The Maryland Book Bank, Baltimore, MD, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 4,39
Autre deviseEUR 34,35 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierhardcover. Etat : Very Good. Used - Very Good.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 32,73
Autre deviseEUR 6,87 expédition depuis Etats-Unis vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Secularity and Science: What Scientists Around the World Really Think About Religion
Edité par Oxford University Press, 2019
ISBN 10 : 0190926759 ISBN 13 : 9780190926755
Langue: anglais
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 33,61
Autre deviseEUR 6,87 expédition depuis Etats-Unis vers FranceQuantité disponible : 18 disponible(s)
Ajouter au panierEtat : New.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Edité par Creative Media Partners, LLC Mai 2025, 2025
ISBN 10 : 1025099648 ISBN 13 : 9781025099644
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 30,36
Autre deviseEUR 10,99 expédition depuis Allemagne vers FranceQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Neuware - The use of formal specifications allows for a software system to be defined with stringent mathematical semantics and syntax via such tools as propositional calculus and set theory. There are many perceived benefits garnered from formal specifications, such as a thorough and in-depth understanding of the domain and system being specified and a reduction in user requirement ambiguity. Probably the greatest benefit of formal specifications, and that which is least capitalized upon, is that mathematical proof procedures can be used to test and prove internal consistency and syntactic correctness in an effort to ensure comprehensive validation and verification (VV). The automation of the proof process will make formal methods far more attractive by reducing the time required and the effort involved in the V and V of software systems.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 30,38
Autre deviseEUR 17,17 expédition depuis Etats-Unis vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 34,81
Autre deviseEUR 17,17 expédition depuis Etats-Unis vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering (Paperback)
Vendeur : CitiRetail, Stevenage, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 24,89
Autre deviseEUR 28,78 expédition depuis Royaume-Uni vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : new. Paperback. The use of formal specifications allows for a software system to be defined with stringent mathematical semantics and syntax via such tools as propositional calculus and set theory. There are many perceived benefits garnered from formal specifications, such as a thorough and in-depth understanding of the domain and system being specified and a reduction in user requirement ambiguity. Probably the greatest benefit of formal specifications, and that which is least capitalized upon, is that mathematical proof procedures can be used to test and prove internal consistency and syntactic correctness in an effort to ensure comprehensive validation and verification (VV). The automation of the proof process will make formal methods far more attractive by reducing the time required and the effort involved in the V and V of software systems.This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work.This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work.As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 47,61
Autre deviseEUR 7,73 expédition depuis Etats-Unis vers FranceQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 38,25
Autre deviseEUR 17,27 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 49,45
Autre deviseEUR 7,73 expédition depuis Etats-Unis vers FranceQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 52,58
Autre deviseEUR 4,59 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 41,72
Autre deviseEUR 17,27 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 50,72
Autre deviseEUR 10,92 expédition depuis Royaume-Uni vers FranceQuantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
-
Secularity and Science: What Scientists Around the World Really Think About Religion
Edité par Oxford University Press
Vendeur : Academic Book Solutions, Medford, NY, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 10,61
Autre deviseEUR 34,35 expédition depuis Etats-Unis vers FranceQuantité disponible : 2 disponible(s)
Ajouter au panierHardcover. Etat : Good. Missing Dust Jacket, A copy that may have been read, minimal to no highlighting/underlining of text, no missing pages. May have a remainder mark. Spine may show signs of wear. Could be a library copy.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 64,60
Autre deviseEUR 7,73 expédition depuis Etats-Unis vers FranceQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 212.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Edité par Books on Demand|BiblioScholar, 2012
ISBN 10 : 1249834279 ISBN 13 : 9781249834274
Langue: anglais
EUR 61,74
Autre deviseEUR 9,70 expédition depuis Allemagne vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. The use of formal specifications allows for a software system to be defined with stringent mathematical semantics and syntax via such tools as propositional calculus and set theory. There are many perceived benefits garnered from formal specifications, such.
-
New Activism and the Corporate Response
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
EUR 69,83
Autre deviseEUR 3 expédition depuis Irlande vers FranceQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New. Editor(s): John, Steven A.; Thomson, Stuart. Num Pages: 336 pages, biography. BIC Classification: JPWD; KJG; KJM. Category: (U) Tertiary Education (US: College). Dimension: 229 x 152 x 25. Weight in Grams: 641. . 2003. Hardcover. . . . .
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Edité par Creative Media Partners, LLC Okt 2012, 2012
ISBN 10 : 1249834279 ISBN 13 : 9781249834274
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 74,86
Autre deviseEUR 10,99 expédition depuis Allemagne vers FranceQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Neuware - The use of formal specifications allows for a software system to be defined with stringent mathematical semantics and syntax via such tools as propositional calculus and set theory. There are many perceived benefits garnered from formal specifications, such as a thorough and in-depth understanding of the domain and system being specified and a reduction in user requirement ambiguity. Probably the greatest benefit of formal specifications, and that which is least capitalized upon, is that mathematical proof procedures can be used to test and prove internal consistency and syntactic correctness in an effort to ensure comprehensive validation and verification (VV). The automation of the proof process will make formal methods far more attractive by reducing the time required and the effort involved in the V and V of software systems.
-
New Activism and the Corporate Response
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 86,82
Autre deviseEUR 2,71 expédition depuis Etats-Unis vers FranceQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New. Editor(s): John, Steven A.; Thomson, Stuart. Num Pages: 336 pages, biography. BIC Classification: JPWD; KJG; KJM. Category: (U) Tertiary Education (US: College). Dimension: 229 x 152 x 25. Weight in Grams: 641. . 2003. Hardcover. . . . . Books ship from the US and Ireland.
-
Secularity and Science What Scientists around the World Really Think about Religion
Edité par Oxford University Press, 2019
ISBN 10 : 0190926759 ISBN 13 : 9780190926755
Langue: anglais
Vendeur : Michener & Rutledge Booksellers, Inc., Baldwin City, KS, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 8,85
Autre deviseEUR 86,73 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Very Good+. Etat de la jaquette : Very Good+. Word in pen on front free endpaper, otherwise text clean and tight ; 8vo 8" - 9" tall; 352 pages.
-
Secularity and Science: What Scientists Around the World Really Think About Religion
Edité par Oxford University Press, 2019
ISBN 10 : 0190926759 ISBN 13 : 9780190926755
Langue: anglais
Vendeur : Starselling, Maple Grove, MN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 11,50
Autre deviseEUR 90,17 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. All books ship within 24 hours Monday - Friday. Secure bubble mailer. Fast shipping from Minnesota.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 49,48
Autre deviseEUR 64,41 expédition depuis Etats-Unis vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 100,78
Autre deviseEUR 28,78 expédition depuis Royaume-Uni vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Like New. Like New. book.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Edité par Creative Media Partners, LLC, 2025
ISBN 10 : 1025099648 ISBN 13 : 9781025099644
Langue: anglais
Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 25,31
Autre deviseEUR 1,06 expédition depuis Etats-Unis vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierPAP. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Edité par Creative Media Partners, LLC, 2025
ISBN 10 : 1025099648 ISBN 13 : 9781025099644
Langue: anglais
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 22,78
Autre deviseEUR 4,90 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierPAP. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Edité par Creative Media Partners, LLC, 2025
ISBN 10 : 1025095960 ISBN 13 : 9781025095967
Langue: anglais
Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 37,21
Autre deviseEUR 1,06 expédition depuis Etats-Unis vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierHRD. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Edité par Creative Media Partners, LLC, 2025
ISBN 10 : 1025095960 ISBN 13 : 9781025095967
Langue: anglais
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 33,61
Autre deviseEUR 4,90 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierHRD. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
