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 5.99 € Point Bpost 7.99 € Bpost 7.49 € Point DPD 3.49 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats
Livraison gratuite à partir de 69.99 euros.

Modular Specification and Verification of Object-Oriented Programs

Langue AnglaisAnglais
Livre Livre de poche
Livre Modular Specification and Verification of Object-Oriented Programs Peter Müller
Code Libristo: 01564071
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, janvier 2002
This book presents new techniques for the formal specification and verification of object-oriented s... Description détaillée
? points 125 b
51.67 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Le Barman du Ritz Philippe Collin / Livre Livre de poche
common.buy 28.51 €
Kniha hlavolamů s mapami měst a zemí Philip Kiefer / Livre Livre relié
common.buy 11.42 €
Dřevěný hlavolam - Secret Maze Box Jeu/jouet Jouet
common.buy 23.76 €
Gesänge der Liebe Hans-Peter Kolb / Livre Livre relié
common.buy 23.25 €
Dictionnaire Philosophi Voltaire / Livre Livre de poche
common.buy 12.83 €
Traumazentrierte Psychotherapie, Studienausgabe Ulrich Sachsse / Livre Livre de poche
common.buy 37.81 €
Wechselkröte Ana Marwan / Livre Livre relié
common.buy 22.85 €
LEGO Ninjago. Staffel.5.2, 1 DVD Kevin Hageman / Video DVD
common.buy 10.41 €
Imbricaciones Mancini / Livre Livre de poche
common.buy 35.08 €
Schutz der außenstehenden Gesellschafter einer abhängigen Personengesellschaft im mehrstufigen Unternehmensverbund. Elke Schmitt / Livre Livre de poche
common.buy 75.24 €
Si dieu est une femme elle est romanciere Chelsea Livre Livre de poche
common.buy 17.69 €
Juste un regard Harlan Coben / Livre Livre de poche
common.buy 26.69 €
Frost Thomas Bernhard / Livre Livre de poche
common.buy 12.63 €
Čepiec Katarína Kucbelová / Livre Livre relié
common.buy 13.04 €
Cours Complet Par Correspondance. Tome 15 / Livre Livre de poche
common.buy 13.64 €

This book presents new techniques for the formal specification and verification of object-oriented software. Since modularity is of critical importance for reuse and component-based programming, special emphasis is given to the completeness of the presented specification techniques to allow module verification based on the specification of the imported modules. A formal framework developed for a Java subset illustrates these new techniques.

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 Modular Specification and Verification of Object-Oriented Programs
Auteur Peter Müller
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2002
Nombre de pages 298
EAN 9783540431671
ISBN 3540431675
Code Libristo 01564071
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 970
Dimensions 155 x 235 x 17

Catégories

Informatique et technologies de l’information > Programmation informatique / génie logiciel > Compilateurs et interpréteurs
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Programmation orientée objet (POO)
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 > Architecture informatique et conception logique
Médecine et services infirmiers > Médecine : généralités
Informatique et technologies de l’information > Systèmes d’exploitation
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

Verified Software: Theories, Tools, Experiments Natarajan Shankar / Livre Livre de poche
common.buy 51.67 €
Tongue Drum Songbook for Beginner Helen Winter / Articles imprimés Partitions
common.buy 17.39 €
Toward the Critique of Violence Peter Fenves / Livre Livre de poche
common.buy 23.45 €
Snohetta: Collective Intuition SN HETTA / Livre Livre relié
common.buy 59.86 €
Thoughts On Science, Theology And Ethics John Wilson / Livre Livre de poche
common.buy 26.89 €
Dress-Up Doodles / Livre Livre de poche
common.buy 5.96 €
What I Think Happened Evany Rosen / Livre Livre de poche
common.buy 14.86 €
Software Failure Investigation Jan Eloff / Livre Livre relié
common.buy 114.38 €
Start a Business: How to Work from Home Generating Passive Income Selling Online Courses T Whitmore / Livre Livre de poche
common.buy 15.16 €
Michael Jackson: The Last Dance: How Harlem Remembered Michael Jackson Frederick Monderson / Livre Livre de poche
common.buy 19.31 €
After Atlas Emma Newman / Livre Livre de poche
common.buy 31.44 €
Grady's Tour: Lieutenant John Grady's Tour of Duty In Korean War John H Gallagher / Livre Livre de poche
common.buy 22.04 €
Sylvie and the Christmas Ghost Foxglove Lee / Livre Livre de poche
common.buy 14.86 €
Senate, Telephone Directory: 2016 Senate (U S ) Sergeant at Arms / Livre Livre de poche
common.buy 50.25 €
New Theory and Practice of Transactional Analysis in Organizations Sari Van Poelje / Livre Livre de poche
common.buy 44.09 €
All Downhill From Here Paul Waters / Livre Livre de poche
common.buy 11.72 €
Flower Mandalas Adult Coloring Book: Adult Coloring Book Featuring Beautiful Mandalas Designed to Soothe the Soul Flower Mandalas Publishing / Livre Livre de poche
common.buy 9.40 €
What's a Lady Got to Do to Fulfill Her Life? Felicity Talisman / Livre Livre de poche
common.buy 16.58 €
David Hockney. My Window Hockney / Livre Livre relié
common.buy 15.36 €
TRICKY BUSINESS OF FAERIE BARGAINS MCCARTY REENA / Livre Livre de poche
common.buy 15.77 €
Thailand Philippe Benet / Livre Livre de poche
common.buy 5.55 €
High Notes and Low Ray W Moore / Livre Livre de poche
common.buy 20.32 €
Case Studies on Digital Government Bruce Rocheleau / Livre Livre relié
common.buy 110.43 €
One Day I Will Write About This Place Binyavanga Wainaina / Livre Livre de poche
common.buy 13.14 €

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 ?