- 5 Résultats
prix le plus bas: € 100,92, prix le plus élevé: € 138,99, prix moyen: € 118,55
1
A Roadmap for Formal Property Verification - Dasgupta, Pallab
Commander
sur Amazon.de (Intern. Bücher)
€ 106,58
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Dasgupta, Pallab:

A Roadmap for Formal Property Verification - Livres de poche

2010, ISBN: 9789048171859

Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2006, 268 Seiten, Publiziert: 2010-10-19T00:00:01Z, Produktgruppe: Buch, 0.38 kg, CAD & CAM, Grafik & Multimedia, Co… Plus…

Frais d'envoiAuf Lager, Lieferung von Amazon. (EUR 0.00) Amazon.de
fermer(X)
2
A Roadmap for Formal Property Verification - Dasgupta, Pallab
Commander
sur Amazon.de (Intern. Bücher)
€ 100,92
Envoi: € 3,001
Commander
Détails du fournisseur
Lien sponsorisé

Dasgupta, Pallab:

A Roadmap for Formal Property Verification - Livres de poche

2010, ISBN: 9789048171859

Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2006, 268 Seiten, Publiziert: 2010-10-19T00:00:01Z, Produktgruppe: Buch, 0.38 kg, CAD & CAM, Grafik & Multimedia, Co… Plus…

Frais d'envoiDie angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
fermer(X)
3
A Roadmap for Formal Property Verification - Dasgupta, Pallab
Commander
sur Achtung-Buecher.de
€ 111,22
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Dasgupta, Pallab:
A Roadmap for Formal Property Verification - Livres de poche

2010

ISBN: 9048171857

Edition reliée

Softcover reprint of hardcover 1st ed. 2006 Kartoniert / Broschiert Elektrotechnik, Elektronik, Computer-Aided Design (CAD), Theoretische Informatik, Rechnerarchitektur und Logik-Entwur… Plus…

Frais d'envoiVersandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
fermer(X)
4
A Roadmap for Formal Property Verification - Dasgupta, Pallab
Commander
sur Amazon.de (Intern. Bücher)
€ 135,03
Envoi: € 3,001
Commander
Détails du fournisseur
Lien sponsorisé
Dasgupta, Pallab:
A Roadmap for Formal Property Verification - Livres de poche

2010, ISBN: 9789048171859

Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2006, 268 Seiten, Publiziert: 2010-10-19T00:00:01Z, Produktgruppe: Buch, 1 kg, CAD & CAM, Grafik & Multimedia, Compu… Plus…

Frais d'envoiDie angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
fermer(X)
5
A Roadmap for Formal Property Verification - Pallab Dasgupta
Commander
sur Hugendubel.de
€ 138,99
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Pallab Dasgupta:
A Roadmap for Formal Property Verification - Livres de poche

2006, ISBN: 9048171857

Edition reliée

A Roadmap for Formal Property Verification ab 138.99 € als Taschenbuch: Softcover reprint of hardcover 1st ed. 2006. Aus dem Bereich: Bücher, Taschenbücher, Naturwissenschaft, Springer Ne… Plus…

Nr. 13634098. Frais d'envoi, , DE. (EUR 0.00)
fermer(X)
1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
A Roadmap for Formal Property Verification
Auteur:
Titre:
ISBN:

9789048171859


Integrating formal property verification (FPV) into an existing design process raises several interesting questions. This book develops the answers to these questions and fits them into a roadmap for formal property verification - a roadmap that shows how to glue FPV technology into the traditional validation flow. The book explores the key issues in this powerful technology through simple examples that mostly require no background on formal methods.

Informations détaillées sur le livre - A Roadmap for Formal Property Verification


EAN (ISBN-13): 9789048171859
ISBN (ISBN-10): 9048171857
Version reliée
Livre de poche
Date de parution: 2010
Editeur: Springer
268 Pages
Poids: 0,432 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2011-05-03T14:12:21+02:00 (Zurich)
Page de détail modifiée en dernier sur 2023-11-04T11:42:48+01:00 (Zurich)
ISBN/EAN: 9789048171859

ISBN - Autres types d'écriture:
90-481-7185-7, 978-90-481-7185-9
Autres types d'écriture et termes associés:
Auteur du livre: dasgupta
Titre du livre: roadmap

Données de l'éditeur

Auteur: Pallab Dasgupta
Titre: A Roadmap for Formal Property Verification
Editeur: Springer; Springer Netherland
252 Pages
Date de parution: 2010-10-19
Dordrecht; NL
Imprimé / Fabriqué en
Langue: Anglais
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
POD
XIV, 252 p.

BC; Hardcover, Softcover / Technik/Elektronik, Elektrotechnik, Nachrichtentechnik; Schaltkreise und Komponenten (Bauteile); Verstehen; algorithms; environment; formal method; formal specification; formal verification; integrated circuit; metal-oxide-semiconductor transistor; simulation; single-electron transistor; technology; Electronic Circuits and Systems; Computer-Aided Engineering (CAD, CAE) and Design; Electronics and Microelectronics, Instrumentation; Logic Design; Electrical and Electronic Engineering; Formal Languages and Automata Theory; Computer-Aided Design (CAD); Elektronik; Rechnerarchitektur und Logik-Entwurf; Elektrotechnik; Theoretische Informatik; BB

Languages for Temporal Properties.- How Does the Property Checker Work?.- Is My Specification Consistent?.- Have I Written Enough Properties?.- Design Intent Coverage.- Test Generation Games.- A Roadmap for Formal Property Verification.
FPV methods - presented conceptually Architecting assertion suites with System Verilog Assertions Formal verification coverage Consistency issues in formal specifications Design Intent Coverage Intelligent test generation from formal specifications
< pour archiver...