Refinement - Boiten, Eerke
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre74,35 €
Produit Neuf
Ou 18,59 € /mois
- Livraison à 0,01 €
- Livré entre le 20 juillet et le 3 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783030064976_dbm
Nos autres offres
-
82,36 €
Produit Neuf
Ou 20,59 € /mois
- Livraison : 3,99 €
- Livré entre le 20 et le 27 juillet
Voir le détail de l'annonce -
86,20 €
Produit Neuf
Ou 21,55 € /mois
- Livraison : 25,00 €
- Livré entre le 3 et le 8 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 Refinement de Boiten, Eerke Format Broché - Livre Informatique
0 avis sur Refinement de Boiten, Eerke Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
John Singer Sargent: His Life And Works In 500 Images
Neuf dès 39,85 €
-
Microeconomics, Global Edition
Neuf dès 151,23 €
Occasion dès 75,90 €
-
Collecting Antique Meerschaum Pipes
Neuf dès 55,84 €
-
Ara Guler's Istanbul
Neuf dès 44,30 €
-
Hugo Pratt. Geografie Immaginarie-Imaginary Geographies-Géographies Imaginaires
Neuf dès 51,98 €
-
A History Of Modern Europe
Neuf dès 66,61 €
-
The French Army And The First World War
Neuf dès 51,69 €
-
Soft Power And Great-Power Competition
Neuf dès 72,01 €
-
Czechoslovak Armored Cars In The First World War And Russian Civil War
Neuf dès 44,83 €
-
The Art Of Jewelry Design
1 avis
Neuf dès 76,78 €
Occasion dès 66,00 €
-
Jiu-Jitsu University
1 avis
Neuf dès 47,13 €
-
Dc Finest: War: The Big Five Arrive
1 avis
Neuf dès 39,95 €
-
Dc Finest: Legion Of Super-Heroes: Zap Goes The Legion
Neuf dès 39,64 €
-
New Headway Intermediate Workbook Without Key & Ichecker
Neuf dès 44,30 €
-
Green Bay Packers
Neuf dès 41,13 €
-
Financial & Managerial Accounting Ise
Neuf dès 104,72 €
-
Oxford Resources For Ib Dp Chemistry: Course Book
Neuf dès 102,33 €
-
The Hole Of Tank Girl
Neuf dès 74,00 €
-
The Everyday Life Bible Blush Leatherluxe(R)
Neuf dès 66,00 €
-
Surgical Recall
Neuf dès 58,87 €
Produits similaires
Présentation Refinement de Boiten, Eerke Format Broché
- Livre Informatique
Résumé :
Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardware system) into something closer to implementation. It provides that essential bridge between higher level requirements and an implementation of those requirements. This book provides a comprehensive introduction to refinement for the researcher or graduate student. It introduces refinement in different semantic models, and shows how refinement is defined and used within some of the major formal methods and languages in use today. It (1) introduces the reader to different ways of looking at refinement, relating refinement to observations(2) shows how these are realised in different semantic models (3) shows how different formal methods use different models of refinement, and (4) how these models of refinement are related. ...
Biographie:
John Derrick works in the field of formal methods and software engineering. He has interests across a range of subjects including: refinement, verification of concurrent algorithms, integrated formal methods, testing, and distributed systems. He has published over 140 journal and conference articles, edited a number of collected works and research monographs. He currently works at the University of Sheffield, where he is Vice President and Head of the Faculty of Science.
Sommaire:
Semantics.- Labeled Transition Systems and their Refinement.- Automata - introducing simulations.- Simple State Based Refinement.- A Relational View of Refinement.- Perspicuity, Divergence, and Internal Operations.- Refinement in Specification Languages.- State-based Languages: Z and B.- State-based Languages: Event-B and ASM.- Relating Notions of Refinement.- Relational Concurrent Refinement.- Relating Data Refinement and Failures-divergences Refinement.- Process data types - a fully general model of concurrent refinement.
Détails de conformité du produit
Personne responsable dans l'UE