«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 138 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 27.79 €
Imbricaciones Mancini / Libro Tapa blanda
common.buy 33.59 €
Kniha hlavolamů s mapami měst a zemí Philip Kiefer / Libro Tapa dura
common.buy 12.29 €
Wechselkröte Ana Marwan / Libro Tapa dura
common.buy 24.19 €
Inspirace k řešení konfliktních situací dětí a dospívajících Jan Svoboda / Libro Tapa blanda
common.buy 11.09 €
Villes Silvestro / Libro binding.
common.buy 7.99 €
Si dieu est une femme elle est romanciere Chelsea Libro Tapa blanda
common.buy 16.89 €
Juste un regard Harlan Coben / Libro Tapa blanda
common.buy 25.99 €
Čepiec Katarína Kucbelová / Libro Tapa dura
common.buy 13.89 €
Cours Complet Par Correspondance. Tome 15 / Libro Tapa blanda
common.buy 14.19 €
Dictionnaire Philosophi Voltaire / Libro Tapa blanda
common.buy 12.09 €
Griechische Palaeographie Viktor Gardthausen / Libro Tapa blanda
common.buy 32.49 €
LEGO Ninjago. Staffel.5.2, 1 DVD Kevin Hageman / Video DVD
common.buy 10.79 €
Divadlo a iluze Zdeněk Bartoš / Libro Tapa blanda
common.buy 3.79 €
Gesänge der Liebe Hans-Peter Kolb / Libro Tapa dura
common.buy 25.70 €
Traumazentrierte Psychotherapie, Studienausgabe Ulrich Sachsse / Libro Tapa blanda
common.buy 41.61 €
Frost Thomas Bernhard / Libro Tapa blanda
common.buy 15.49 €
Schutz der außenstehenden Gesellschafter einer abhängigen Personengesellschaft im mehrstufigen Unternehmensverbund. Elke Schmitt / Libro Tapa blanda
common.buy 82.69 €

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 €
Toward the Critique of Violence Peter Fenves / Libro Tapa blanda
common.buy 25.09 €
Económico
Tongue Drum Songbook for Beginner Helen Winter / Artículos impresos Partituras
common.buy 10.79 €
Software Failure Investigation Jan Eloff / Libro Tapa dura
common.buy 122.69 €
Prehistory of South America Jerry D Moore / Libro Tapa blanda
common.buy 53.79 €
Thoughts On Science, Theology And Ethics John Wilson / Libro Tapa blanda
common.buy 28.69 €
Blue Basin Andre Paul Goddard / Libro Tapa blanda
common.buy 21.69 €
Dress-Up Doodles / Libro Tapa blanda
common.buy 6.49 €
BigTime Piano, Level 4, Ragtime & Marches Nancy Faber / Libro Tapa blanda
common.buy 15.49 €
Senate, Telephone Directory: 2016 Senate (U S ) Sergeant at Arms / Libro Tapa blanda
common.buy 53.61 €
What I Think Happened Evany Rosen / Libro Tapa blanda
common.buy 16.30 €
Thailand Philippe Benet / Libro Tapa blanda
common.buy 5.99 €
Start a Business: How to Work from Home Generating Passive Income Selling Online Courses T Whitmore / Libro Tapa blanda
common.buy 16.19 €
Michael Jackson: The Last Dance: How Harlem Remembered Michael Jackson Frederick Monderson / Libro Tapa blanda
common.buy 20.59 €
After Atlas Emma Newman / Libro Tapa blanda
common.buy 29.99 €
Grady's Tour: Lieutenant John Grady's Tour of Duty In Korean War John H Gallagher / Libro Tapa blanda
common.buy 23.49 €
Sylvie and the Christmas Ghost Foxglove Lee / Libro Tapa blanda
common.buy 15.79 €
Snohetta: Collective Intuition SN HETTA / Libro Tapa dura
common.buy 64.59 €
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 €
All Downhill From Here Paul Waters / Libro Tapa blanda
common.buy 12.49 €
New Theory and Practice of Transactional Analysis in Organizations Sari Van Poelje / Libro Tapa blanda
common.buy 46.69 €
High Notes and Low Ray W Moore / Libro Tapa blanda
common.buy 21.49 €
Manual of Nerve Conduction Study and Surface Anatomy for Needle Electromyography Joel A DeLisa / Libro Tapa blanda
common.buy 115.79 €
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?