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
Livraison gratuite avec Zásilkovna à partir de 69.99 €
Coursier DPD 6.49 € Point Bpost 8.49 € Bpost 7.99 € Point DPD 3.99 € Service de messagerie GLS 5.49 €
phone Contact phoneComment faire ses achats
Livraison gratuite à partir de 69.99 euros.

Software Engineering: Specification, Implementation, Verification

Langue AnglaisAnglais
Livre Livre de poche
Livre Software Engineering: Specification, Implementation, Verification Suad Alagic
Code Libristo: 21375313
Éditeurs Springer International Publishing AG, août 2018
This book takes a formal approach to teaching software engineering, using not only UML, but also Obj... Description détaillée
? points 171 b
70.12 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Sut urunlerinde marka rekabeti ve tuketici davranışları Yavuz Topcu / Livre Livre de poche
common.buy 264.23 €
O duhových vílách a kometě NE Marie Adamovská / Livre Livre relié
common.buy 7.73 €
Brown. Atlas de Anestesia Regional EHAB FARAG / Livre Livre de poche
common.buy 130.10 €
Top
Anna Karenina / rusky Лев Толстой / Livre Livre relié
common.buy 10.54 €
True Lies - Wahre Lügen, 1 4K UHD-Blu-ray + 1 Blu-ray James Cameron / Video Blu-ray
common.buy 32.64 €
Barcellona Helmuth Bischoff / Livre Livre de poche
common.buy 13.75 €
PETITE REBELLE BARBIER MARIE HELENE / Livre Livre de poche
common.buy 16.97 €
Afrique numerique Tania Begazo / Livre numérique Adobe ePub DRM
common.buy 37.68 €
Echo przeszlosci Cecilia Sjogren / Livre numérique Adobe ePub DRM
common.buy 9.84 €
Chronisches Fatigue-Syndrom (ME/CFS) verstehen und managen Karen Leslie / Livre numérique Adobe ePub DRM
common.buy 39.29 €
Madonna Madonna Nidra Poller / Livre Livre de poche
common.buy 19.68 €
Consacré Nathanaël Beumier / Livre Livre de poche
common.buy 14.16 €
Fachgerechter Weisswein-Flaschenservice (Unterweisung Hotelfachmann / -fachfrau) Armin Menden / Livre Livre de poche
common.buy 11.65 €
Cello Sonaten & Encores Rostropowitsch/Richter/Yampolsky/Oborin/Dedyukhin / Audio CD Audio
common.buy 7.43 €
La escucha oblicua : una invitación a John Cage María Carmen Pardo Salgado / Livre Livre de poche
common.buy 24.61 €
Rêves de frontière Taibo ii / Livre Livre
common.buy 7.93 €
CARTE DES VINS DE POMEROL BENOIT FRANCE Livre binding.
common.buy 18.48 €
La fille du berger des arbres - La trilogie des gens de la foire médiévale T1 Summers / Livre Livre de poche
common.buy 10.14 €
Échos Saléviens n° 6 CHEVALIER / Livre Livre de poche
common.buy 16.67 €
Cuaderno de prácticas de Formulación Magistral Casado Sánchez / Livre Livre de poche
common.buy 26.11 €
Wp?yw Internetu na prawo karne João Pedro Malheiro Junior / Livre Livre de poche
common.buy 35.36 €
Diccionario de enigmística Rafael Hidalgo de la Torre / Livre Livre de poche
common.buy 25.01 €
Rosangela Olivier Berlion / Livre Livre de poche
common.buy 30.33 €
Honorius, Pape Escarpit / Livre Livre de poche
common.buy 7.22 €

This book takes a formal approach to teaching software engineering, using not only UML, but also Object Constraint Language (OCL) for specification and analysis of designed models. Employing technical details typically missing from existing textbooks on software engineering, the author shows how precise specifications lead to static verification of software systems. In addition, data management is given the attention that is required in order to produce a successful software project. Uses constraints in all phases of software development Follows recent developments in software technologies Technical coverage of data management issues and software verification Illustrated throughout to present analysis, specification, implementation and verification of multiple applications Includes end-of-chapter exercises and Instructor Presentation Slides

Actrice & Polyglotte
EWA KASP pro
Regarder la vidéo
Ewa Kasp
Libristo propose la plus grande sélection littéraire en langues étrangères. N’hésitez plus et venez y acheter vos livres.

À propos du livre

Nom complet Software Engineering: Specification, Implementation, Verification
Auteur Suad Alagic
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2018
Nombre de pages 178
EAN 9783319870991
Code Libristo 21375313
Éditeurs Springer International Publishing AG
Poids 308
Dimensions 155 x 235 x 11

Catégories

Informatique et technologies de l’information > Programmation informatique / génie logiciel > Programmation et langage de script : généralités
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Informatique
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

Affirming the Ash Heap Wallace H. Kirby / Livre Livre de poche
common.buy 14.86 €
Festivals and the City Guy Osborn / Livre Livre de poche
common.buy 62.99 €
Fondue Favorites Cookbook: 60 Super #Delish Fondue Recipes Rhonda Belle / Livre Livre de poche
common.buy 8.73 €
101 Secrets of Canadian Culture Catherine (Kate) Maven / Livre Livre de poche
common.buy 15.06 €
Guilt of a Sparrow Jess B. Moore / Livre Livre de poche
common.buy 10.84 €
The Domestic Prayer Book: Or A Course Of Morning And Evening Prayers, For One Month (1844) George Smith / Livre Livre de poche
common.buy 29.33 €
An Introduction to Experimental Psychology (1911) Charles S. Myers / Livre Livre de poche
common.buy 25.51 €
Wa-Pee Moos-Tooch Or White Buffalo: The Hero Of A Hundred Battles (1908) McDougall / Livre Livre de poche
common.buy 34.15 €
American Harvest: God, Country, and Farming in the Heartland Marie Mutsuki Mockett / Livre Livre de poche
common.buy 14.26 €
Analysis of Urban Growth and Sprawl from Remote Sensing Data Basudeb Bhatta / Livre Livre relié
common.buy 102.27 €
Nell Dialogues Richard P. McQuellon / Livre Livre de poche
common.buy 53.54 €
Recursive Analysis R. L. (Reuben Louis) Goodstein / Livre Livre de poche
common.buy 21.40 €
The Jewish Home (Updated Edition) Rabbi Daniel B. Syme / Livre Livre de poche
common.buy 19.78 €
Handbook of Research on Multidisciplinary Approaches to Literacy in the Digital Age Nurdan Oncel / Livre numérique Adobe ePub DRM
common.buy 354.00 €
Bientôt
Identity Politics of Postcolonial Feminism Mridula Nath Chakraborty / Livre Livre relié
common.buy 100.76 €
The early medieval settlement complex at Gródek upon the Bug River in the light of results from past research. Wczesnosredniowieczny zespól osadniczy Michael Auch / Livre Livre relié
common.buy 25.31 €
New Trends on Metadiscourse Begoña Bellés-Fortuño / Livre Livre relié
common.buy 158.23 €
Physics, Eleventh Edition Epub Reg Card with Wileyplus Lms Card Set Kenneth W. Johnson / Livre Livre de poche
common.buy 160.51 €
Digital Platforms and Transformation of Healthcare Organizations Rajiv Kapur / Livre Livre relié
common.buy 249.46 €
At Home: Alice Neel in the Queer World Hilton Als / Livre Livre relié
common.buy 47.01 €
THE DOVER ROAD HARPER CHARLES GEORGE / Livre Livre de poche
common.buy 16.87 €
Bientôt
Phytochemical Interventions in Mitigating Neurodegeneration Shinomol George K / Livre Livre relié
common.buy 208.17 €
Silent Promises Leilani Dewindt / Livre Livre de poche
common.buy 11.54 €
Pyramids of Power Selene Hathor / Livre Livre de poche
common.buy 17.77 €

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 ?