«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 5.49 € Mensajería GLS 8.49 € Mensajería Correos 5.99 € Mensajería DHL 5.99 € Punto SEUR 4.49 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Formal Methods for Components and Objects

Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003

Idioma InglésInglés
Libro Tapa blanda
Libro Formal Methods for Components and Objects Frank S. de Boer
Código Libristo: 01559742
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, octubre 2004
Formal methods have been applied successfully to the verification of medium-sized programs in protoc... 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

Business Integration Mit Sap-Loesungen Andreas Hufgard / Libro Tapa dura
common.buy 81.99 €
NOWE Oblicza geografii 2. Liceum i technikum. Podręcznik. Zakres rozszerzony. Nowość 2025 Tomasz Rachwał / Libro Tapa blanda
common.buy 18.29 €
Puzzle 1000 CherryPazzi Her Majesty 31292 / Juego/Juguete Rompecabezas
common.buy 10.49 €
El gran libro del pollo Pepe Nick Denchfield / Libro Tapa blanda
common.buy 15.09 €

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to more complex systems, resulting from the object-oriented and the more recent component-based software engineering paradigms, requires further development of specification and verification techniques supporting the concepts of reusability and modifiability.This book presents revised tutorial lectures given by invited speakers at the Second International Symposium on Formal Methods for Components and Objects, FMCO 2003, held in Leiden, The Netherlands, in November 2003. The 17 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to large and complex software systems such as component-based systems and object systems. The book makes a unique contribution to bridging the gap between theory and practice in software engineering.

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 Formal Methods for Components and Objects
Autor Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2004
Número de páginas 371
EAN 9783540229421
ISBN 3540229426
Código Libristo 01559742
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1200
Dimensiones 155 x 235 x 21

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 > 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 > Teoría matemática de la computación
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
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

Solanaceae and Convolvulaceae: Secondary Metabolites Eckart Eich / Libro Tapa dura
common.buy 371.59 €
Word Is Near You PETER M. B ROBINSON / Libro Tapa blanda
common.buy 15.39 €
Morals and Dogma of the Ancient and Accepted Scottish Rite of Freemasonry Revised Albert Pike / Libro Tapa dura
common.buy 55.99 €
Foremost Jody Hedlund / Libro Tapa blanda
common.buy 13.59 €
The Language of Heresy in Late Medieval English Literature Erin K. Wagner / Libro Tapa dura
common.buy 149.79 €
The Predictive Airliner: A Blueprint for Aviation's 2nd Century MR Andrew W Pearson / Libro Tapa blanda
common.buy 16.19 €
The Long Lane Ethel Coxon / Libro Tapa blanda
common.buy 24.59 €
Tarot of the Heart Liz Dean / Artículos impresos Tarjetas
common.buy 20.49 €
Witch Way Now?: A Paranormal Romance Lucy Fisher / Libro Tapa blanda
common.buy 13.39 €
Narratives, Routes and Intersections in Pre-Modern Asia Radhika Seshan / Libro Tapa blanda
common.buy 69.69 €
History of the World in 21 Women Jenni Murray / Libro Tapa blanda
common.buy 12.79 €
Ending Homelessness? Eoin O'Sullivan / Libro Tapa dura
common.buy 120.89 €
Cross Stitch Graph Paper: 14 Lines Per Inch, Graph Paper for Embroidery and Needlework, 8.5''x11'', 100 Sheets, Burgundy Cover Graphyco Publishing / Libro Tapa blanda
common.buy 8.09 €
Adela's Dilemma ***Large Print Edition***: The Royals of Abrifae Victoria Hart / Libro Tapa blanda
common.buy 19.29 €
Transform Silos to Pillars: Moving from Hate to Help David Porter / Libro Tapa blanda
common.buy 15.79 €
John Wiclif and his English Precursors PETER LORIMER / Libro Tapa blanda
common.buy 26.69 €
Punishment of Death Romilly Henry Romilly / Libro Tapa blanda
common.buy 26.69 €
CHRISTIAN WAY OF LIFE Applying God's Word More Fully (October 2014) Edward D Andrews / Libro Tapa blanda
common.buy 12.89 €
Vertebrate Embryogenesis Francisco J. Pelegri / Libro Tapa blanda
common.buy 121.69 €
Lester, the Health Expert Lion: Character is What We Build, Book #12 Dr James E Bruce Sr / Libro Tapa blanda
common.buy 15.79 €
The Life of Lyman Trumbull Horace White / Libro Tapa blanda
common.buy 10.99 €
Popol Vuh: The Mythic and Heroic Sagas of the Kiches of Central America Lewis Spence / Libro Tapa blanda
common.buy 23.59 €
In Their Own Words: First Person Narratives from The Book of Genesis Dustin A Largent / Libro Tapa blanda
common.buy 10.99 €
GED Study Guide 2022 All Subjects - GED Prep Book Secrets, 3 Full-Length Practice Tests, Step-by-Step Review Video Tutorials: [Certified Content Align / Libro Tapa blanda
common.buy 33.79 €

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?