«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Modular Specification and Verification of Object-Oriented Programs

Idioma InglésInglés
Libro Tapa blanda
Libro Modular Specification and Verification of Object-Oriented Programs Peter Müller
Código Libristo: 01564071
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, enero 2002
This book presents new techniques for the formal specification and verification of object-oriented s... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Le Barman du Ritz Philippe Collin / Libro Tapa blanda
common.buy 28.79 €
Wechselkröte Ana Marwan / Libro Tapa dura
common.buy 24.39 €
Gesänge der Liebe Hans-Peter Kolb / Libro Tapa dura
common.buy 25.69 €
Dřevěný hlavolam - Secret Maze Box Juego/Juguete Juguete
common.buy 25.29 €
Traumazentrierte Psychotherapie, Studienausgabe Ulrich Sachsse / Libro Tapa blanda
common.buy 41.59 €
Dictionnaire Philosophi Voltaire / Libro Tapa blanda
common.buy 12.99 €
Cours Complet Par Correspondance. Tome 15 / Libro Tapa blanda
common.buy 14.19 €
Kniha hlavolamů s mapami měst a zemí Philip Kiefer / Libro Tapa dura
common.buy 12.29 €
Frost Thomas Bernhard / Libro Tapa blanda
common.buy 13.99 €
Imbricaciones Mancini / Libro Tapa blanda
common.buy 33.69 €
Schutz der außenstehenden Gesellschafter einer abhängigen Personengesellschaft im mehrstufigen Unternehmensverbund. Elke Schmitt / Libro Tapa blanda
common.buy 82.69 €
Juste un regard Harlan Coben / Libro Tapa blanda
common.buy 26.99 €
Čepiec Katarína Kucbelová / Libro Tapa dura
common.buy 13.89 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Modular Specification and Verification of Object-Oriented Programs
Autor Peter Müller
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2002
Número de páginas 298
EAN 9783540431671
ISBN 3540431675
Código Libristo 01564071
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 970
Dimensiones 155 x 235 x 17

Categorías

Computación e informática > Programación informática/desarrollo de software > Compiladores e intérpretes
Computación e informática > Programación informática/desarrollo de software > Programación orientada a objetos (POO)
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Medicina, enfermería, veterinaria > Medicina: cuestiones generales
Computación e informática > Sistemas operativos
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Verified Software: Theories, Tools, Experiments Natarajan Shankar / Libro Tapa blanda
common.buy 56.59 €
Tongue Drum Songbook for Beginner Helen Winter / Libro Tapa blanda
common.buy 18.09 €
Toward the Critique of Violence Peter Fenves / Libro Tapa blanda
common.buy 24.49 €
Snohetta: Collective Intuition SN HETTA / Libro Tapa dura
common.buy 62.89 €
Thoughts On Science, Theology And Ethics John Wilson / Libro Tapa blanda
common.buy 27.89 €
Dress-Up Doodles / Libro Tapa blanda
common.buy 6.49 €
What I Think Happened Evany Rosen / Libro Tapa blanda
common.buy 16.29 €
Start a Business: How to Work from Home Generating Passive Income Selling Online Courses T Whitmore / Libro Tapa blanda
common.buy 15.79 €
Michael Jackson: The Last Dance: How Harlem Remembered Michael Jackson Frederick Monderson / Libro Tapa blanda
common.buy 20.09 €
After Atlas Emma Newman / Libro Tapa blanda
common.buy 33.09 €
Grady's Tour: Lieutenant John Grady's Tour of Duty In Korean War John H Gallagher / Libro Tapa blanda
common.buy 22.89 €
Sylvie and the Christmas Ghost Foxglove Lee / Libro Tapa blanda
common.buy 15.39 €
Senate, Telephone Directory: 2016 Senate (U S ) Sergeant at Arms / Libro Tapa blanda
common.buy 54.19 €
All Downhill From Here Paul Waters / Libro Tapa blanda
common.buy 12.19 €
Flower Mandalas Adult Coloring Book: Adult Coloring Book Featuring Beautiful Mandalas Designed to Soothe the Soul Flower Mandalas Publishing / Libro Tapa blanda
common.buy 9.79 €
What's a Lady Got to Do to Fulfill Her Life? Felicity Talisman / Libro Tapa blanda
common.buy 17.19 €
David Hockney. My Window Hockney / Libro Tapa dura
common.buy 16.39 €
TRICKY BUSINESS OF FAERIE BARGAINS MCCARTY REENA / Libro Tapa blanda
common.buy 16.49 €
Thailand Philippe Benet / Libro Tapa blanda
common.buy 5.99 €
High Notes and Low Ray W Moore / Libro Tapa blanda
common.buy 20.99 €
Case Studies on Digital Government Bruce Rocheleau / Libro Tapa dura
common.buy 116.39 €
One Day I Will Write About This Place Binyavanga Wainaina / Libro Tapa blanda
common.buy 14.39 €
Manual of Nerve Conduction Study and Surface Anatomy for Needle Electromyography Joel A DeLisa / Libro Tapa blanda
common.buy 113.39 €
Scepter of Reason R. Gargarella / Libro Tapa dura
common.buy 56.59 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?