Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.

Vous avez choisi le retrait chez le vendeur à

Payez directement sur Rakuten (CB, PayPal, 4xCB...)
Récupérez le produit directement chez le vendeur
Rakuten vous rembourse en cas de problème

Terminer ma commande

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Avis sur Formal Methods In Computer - Aided Design Format Broché - Livre Sciences de la vie et de la terre

Note : 0 0 avis sur Formal Methods In Computer - Aided Design Format Broché - Livre Sciences de la vie et de la terre

Donnez votre avis

Donnez votre avis sur ce produit

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.

Produits similaires

Présentation Formal Methods In Computer - Aided Design Format Broché
- Livre Sciences de la vie et de la terre

Livre Sciences de la vie et de la terre - 01/10/2002 - Broché - Langue : Anglais

Editeur : Springer-Verlag Gmbh

Langue : Anglais

Parution : 01/10/2002

Format : Moyen, de 350g à 1kg

Nombre de pages : 420

Expédition : 633

Dimensions : 23.5 x 15.5 x 23.0

ISBN : 9783540001164

Sommaire:
Abstraction.- Abstraction by Symbolic Indexing Transformations.- Counter-Example Based Predicate Discovery in Predicate Abstraction.- Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis.- Symbolic Simulation.- Simplifying Circuits for Formal Verification Using Parametric Representation.- Generalized Symbolic Trajectory Evaluation - Abstraction in Action.- Model Checking: Strongly-Connected Components.- Analysis of Symbolic SCC Hull Algorithms.- Sharp Disjunctive Decomposition for Language Emptiness Checking.- Microprocessor Specification and Verification.- Relating Multi-step and Single-Step Microprocessor Correctness Statements.- Modeling and Verification of Out-of-Order Microprocessors in UCLID.- Decision Procedures.- On Solving Presburger and Linear Arithmetic with SAT.- Deciding Presburger Arithmetic by Model Checking and Comparisons with Other Methods.- Qubos: Deciding Quantified Boolean Logic Using Propositional Satisfiability Solvers.- Model Checking: Reachability Analysis.- Exploiting Transition Locality in the Disk Based Mur? Verifier.- Traversal Techniques for Concurrent Systems.- Model Checking: Fixed Points.- A Fixpoint Based Encoding for Bounded Model Checking.- Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths.- Verification Techniques and Methodology.- Mechanical Verification of a Square Root Algorithm Using Taylor's Theorem.- A Specification and Verification Framework for Developing Weak Shared Memory Consistency Protocols.- Model Checking the Design of an Unrestricted, Stuck-at Fault Tolerant, Asynchronous Sequential Circuit Using SMV.- Hardware Description Languages.- Functional Design Using Behavioural and Structural Components.- Compiling Hardware Descriptions withRelative Placement Information for Parametrised Libraries.- Prototyping and Synthesis.- Input/Output Compatibility of Reactive Systems.- Smart Play-out of Behavioral Requirements.

Détails de conformité du produit

Consulter les détails de conformité de ce produit (

Personne responsable dans l'UE

)

Formal Methods in Computer-Aided Design -

Avis sur Formal Methods In Computer - Aided Design Format Broché - Livre Sciences de la vie et de la terre

Présentation Formal Methods In Computer - Aided Design Format Broché - Livre Sciences de la vie et de la terre

Présentation Formal Methods In Computer - Aided Design Format Broché
- Livre Sciences de la vie et de la terre