Vérifier l’état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
La Poste Autrichienne 5.49 € Service de messagerie GLS 4.99 € Coursier DPD 4.49 € Point DPD 3.49 €
phone Contact phoneComment faire ses achats

Refinement

Semantics, Languages and Applications

Langue AnglaisAnglais
Livre Livre relié
Livre Refinement John Derrick
Code Libristo: 19382100
Éditeurs Springer International Publishing AG, septembre 2018
Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is al... Description détaillée
? points 122 b
49.89 € TVA incluse
Stockage externe Expédition sous 10-13 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Chaos Gilles Kepel / Livre Livre relié
common.buy 28.00 €
VULNERABILITES CIVIQUES. LE SOIN DE LA CITE AU PRISME DU CORPS BERTHELOT/HUSQUIN / Livre Livre de poche
common.buy 16.49 €
Contemporary Japanese Architecture (English, French, German) Jodidio / Livre Livre relié
common.buy 75.00 €
FRIEND.LY 3 ANYS PRIMER TRIMESTRE Edebé / Livre Livre de poche
common.buy 42.99 €
Rownowaga ciala czlowieka Cwiczenia Anna Olczak / Livre Livre de poche
common.buy 36.59 €
LIBRO DE LAS MARAVILLAS MARCO POLO / Livre Livre de poche
common.buy 25.79 €
Le parole per (non) dirlo Valentina Mears / Livre Livre de poche
common.buy 9.39 €
Pingpong Neu Gabriele Kopp / Audio CD Audio
common.buy 35.69 €
Retrato de una Dama Henry James / Livre Livre de poche
common.buy 19.20 €
Flucht aus Eritrea in ein freies Land Lisa Winter / Livre Livre de poche
common.buy 15.99 €
Des Hemorrhagies Dans l'Hysterie MORA-V / Livre Livre de poche
common.buy 14.59 €

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.

Actrice & Polyglotte
EWA KASP pour
Lire la vidéo
Ewa Kasp
Libristo propose le plus grand choix de littérature étrangère. C’est pour cela que c’est ici que j’achète mes livres.

À propos du livre

Nom complet Refinement
Auteur John Derrick, Eerke A. Boiten
Langue Anglais
Reliure Livre - Livre relié
Date de parution 2018
Nombre de pages 269
EAN 9783319927091
ISBN 3319927094
Code Libristo 19382100
Éditeurs Springer International Publishing AG
Poids 606
Dimensions 155 x 235 x 23

Catégories

Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

Turkmenistan: Investment Climate Statement 2015 United States Department of State / Livre Livre de poche
common.buy 12.19 €
To Touch A Silent Fury R. A. Sandpiper / Livre Livre de poche
common.buy 15.99 €
Bedside Companion for Travel Lovers Hunter / Livre Livre relié
common.buy 21.39 €
The Women of the American Revolution; Volume 3 Elizabeth Fries Ellet / Livre Livre de poche
common.buy 24.39 €
How to start a business: How to start a business without any money David C White / Livre Livre relié
common.buy 25.49 €
Trans Wizard Harriet Porber And The Bad Boy Parasaurolophus: An Adult Romance Novel Chuck Tingle / Livre Livre de poche
common.buy 14.29 €
Biblical Counseling Basics: Roots, Beliefs, & Future Jeremy Lelek / Livre Livre de poche
common.buy 19.19 €
Effective Interviewing and Interrogation Techniques Nathan Gordon / Livre Livre relié
common.buy 125.89 €
Adventures of Kiwi and Aj HOLLY MAXFIELD / Livre Livre relié
common.buy 31.29 €
The Law Relating to Factories and Workshops: Including Laundries, Railways, and Docks. May Edith Abraham Tennant / Livre Livre de poche
common.buy 32.20 €
Sprite Peter Meredith / Livre Livre de poche
common.buy 13.10 €
Ecology and Management of Atlantic Salmon D. Mills / Livre Livre relié
common.buy 152.59 €
Can Emerging Technologies Make a Difference in Development? Rachel A. Parker / Livre Livre de poche
common.buy 80.89 €
Patient's Guide to All Things Medical Sheldon Cohen M D F a C P / Livre Livre de poche
common.buy 22.59 €
Bientôt
Ec Artists' Library Slipcase 3 (volumes 9-12) Joe Orlando / Livre Livre relié
common.buy 103.49 €
Dyadic Walsh Analysis from 1924 Onwards Walsh-Gibbs-Butzer Dyadic Differentiation in Science Volume 2 Extensions and Generalizations Radomir Stankovic / Livre Livre relié
common.buy 94.09 €
Avoiding and Resolving Disputes Bart Kavanagh / Livre Livre de poche
common.buy 37.79 €
The Wentworths: Father and Son John Ritchie / Livre Livre de poche
common.buy 28.09 €
Oliver Otter's Own Office Barbara deRubertis / Livre Livre de poche
common.buy 8.49 €

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?