Structured Object-Oriented Formal Language and Method -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre67,82 €
Produit Neuf
Ou 16,96 € /mois
- Livraison : 3,99 €
- Livré entre le 22 et le 28 juillet
Nos autres offres
-
73,35 €
Produit Neuf
Ou 18,34 € /mois
- Livraison à 0,01 €
- Livré entre le 23 juillet et le 4 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783319174037_dbm
Voir le détail de l'annonce -
69,36 €
Produit Neuf
Ou 17,34 € /mois
- Livraison : 25,00 €
- Livré entre le 5 et le 10 août
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.
Voir le détail de l'annonce
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Structured Object - Oriented Formal Language And Method Format Broché - Livre Informatique
0 avis sur Structured Object - Oriented Formal Language And Method Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Dji Osmo 4 : 4k/240fps3activetrack
Neuf dès 85,99 €
-
Anders Petersen, Rome
Occasion dès 65,00 €
-
Ephemerides 1950-2050 Ut For 0h International Edition
17 avis
Occasion dès 44,95 €
-
The Eb Real Book, Sixth Edition
1 avis
Neuf dès 48,97 €
-
Final Fantasy X 25th Anniversary Visual Art Book -Eternal Spira-
Neuf dès 41,99 €
-
Fundamentals Of Creature Design
Neuf dès 47,55 €
-
Miyoko Ihara - Misao The Big Mama And Fukumaru The Cat
Occasion dès 65,00 €
-
Oxford Resources For Ib Dp Chemistry: Study Guide
Neuf dès 54,16 €
-
Medieval Military Technology, Second Edition
Neuf dès 62,30 €
-
Alice In Wonderland And Through The Looking-Glass (Collector's Edition) (Laminated Hardback With Jacket)
Neuf dès 51,69 €
-
Gender Trouble
1 avis
Neuf dès 51,92 €
-
Cambridge English Proficiency 2 Student's Book With Answers With Audio
Neuf dès 91,64 €
-
Apprendre L'armenien Occidental Pour Francophones (Les Cahiers D'eric)
Neuf dès 39,99 €
-
Spring Boot 3 Und Spring Framework 6
Neuf dès 280,99 €
Occasion dès 39,92 €
-
Initiation Aux Lettres Latines - Livre N° 2 - Classe De Troisième 3e - Programme De 1971
Occasion dès 49,97 €
-
Art And Devotion At A Buddhist Temple In The Indian Himalaya
Neuf dès 72,46 €
-
Adventures Of Byomkesh Bakshi
Neuf dès 41,91 €
-
Flandre Et Amérique Latine: 500 Ans De Confrontation Et Métissage
1 avis
Occasion dès 34,00 €
-
Christopher Herwig Trucks And Tuks /Anglais
Neuf dès 37,00 €
-
500+ Ukrainian Verbs
Neuf dès 69,18 €
Produits similaires
Présentation Structured Object - Oriented Formal Language And Method Format Broché
- Livre Informatique
Résumé :
This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections on testing and inspection; model checking and animation; education and verification; and semantics and analysis.
Sommaire:
Testing and Inspection.- An Implementation Framework for Optimizing Test Case Generation Using Model Checking.- Applying GA with Tabu list for Automatically Generating Test Cases Based on Formal Specification.- Development of a Software Tool to Support Traceability-Based Inspection of SOFL Specifications.- Model Checking and Animation.- Unified Bounded Model Checking for MSVL.- An Over-Approximation Forward Analysis for Nested Timed Automata.- Adopting Variable Dependency in Animation for Presenting the Behaviour of Process.- Education and Verification.- Using Alloy in Introductory Courses of Formal Methods.- Automatic Verification for Later-Correspondence of Security Protocols.- Combining Separation Logic and Projection Temporal Logic to Reason About Non-blocking Concurrency.- Semantics and Analysis Formal Semantics of Orc Based on TLA?.- Incremental Points-to Analysis for Java via Edit Propagation.- A Memory Management Mechanism for MSVL.
Détails de conformité du produit
Personne responsable dans l'UE