«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

10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Idioma InglésInglés
Libro Tapa blanda
Libro Formal Methods for Components and Objects Bernhard Beckert
Código Libristo: 01662914
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, enero 2013
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

Digitale Kameratechnik Thomas Maschke / Libro Tapa blanda
common.buy 41.59 €
Fuhrer Durch Die Stromungen Auf Dem Gebiete Der Padagogik Und Iher Hilfswissenschaften, Book 1: Religionswissenschaft (1907) Heinrich Scherer / Libro Tapa blanda
common.buy 24.59 €
Catalogo Dei Codici Persiani (1886) Italo Pizzi / Libro Tapa blanda
common.buy 22.59 €
Az egyensúlyvesztéstől az új egyensúlyig Dr. Bagdy Emőke / Libro Tapa blanda
common.buy 8.19 €
Anuraagam Kanchana Mala Mahesh / Libro Tapa blanda
common.buy 19.59 €
Data Engineering 4.0 Herbert Weber / Libro Tapa blanda
common.buy 67.29 €
Temps des Critériums (Au) / Libro Tapa blanda
common.buy 13.29 €
LA MORT NUE JEAN-HUGUES / Libro Tapa blanda
common.buy 21.89 €
Laubsägen Pia Pedevilla / Libro Tapa blanda
common.buy 9.59 €
ET QUE PLEURENT LES DAUPHINS SAINT THOMAS / Libro Tapa blanda
common.buy 12.59 €
Aristoteles Werke V 17/1 Ernst Grumach / Libro Tapa dura
common.buy 222.59 €
Strážcovia Galaxie / Libro Tapa dura
common.buy 10.59 €
Der Circus Zweimalsohoch Thomas Wörner / Libro Tapa dura
common.buy 24.69 €
Des Partisans Fririon-J-F / Libro Tapa blanda
common.buy 14.09 €
Constats J. Milner / Libro Tapa blanda
common.buy 10.99 €
El evangelio según Tustús Terry Deffenbaugh / Libro Tapa blanda
common.buy 20.09 €
Retablos, prestigio y dinero : talleres y mercado de pintura en la Valencia del gótico internacional Matilde . . . [et al. ] Miquel Juan / Libro Tapa blanda
common.buy 26.49 €
Payador Leopoldo Lugones / Libro Tapa blanda
common.buy 16.99 €
Judith Fürste Blanca Ortiz Ostalé / Libro Tapa blanda
common.buy 21.29 €
Igráček pomáhej - Táta / Juego/Juguete Juguete
common.buy 3.19 €
Competitive Balance in der TOYOTA Handball Bundesliga Cindy Pannu / Libro Tapa blanda
common.buy 63.39 €
Elfter September hoch Zwei oder die uberlangen Schatten des Verbrechens Remo Iten / Libro Tapa blanda
common.buy 10.09 €
Nenávist, kterou jsi probudil - DVD / Video Video
common.buy 8.09 €
Dieta Antiinflamatoria John Carter / Libro Tapa dura
common.buy 28.89 €

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of large systems requires more emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java.§This book contains 20 revised papers submitted after the 10th Symposium on Formal Methods for Components and Objects, FMCO 2011, which was held in Turin, Italy, in October 2011. Topics covered include autonomic service-component ensembles; trustworthy eternal systems via evolving software, data, and knowledge; parallel patterns for adaptive heterogeneous multicore systems; programming for future 3D architectures with many cores; formal verification of object oriented software; and an infrastructure for reliable computer systems.

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 Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2013
Número de páginas 356
EAN 9783642358869
ISBN 3642358861
Código Libristo 01662914
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 563
Dimensiones 155 x 235 x 19

Categorías

Computación e informática > Computación y TI: guías para usuarios y consumidores > Guías en Internet y servicios en línea > Búsqueda en Internet
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 > Bases de datos > Recuperación de información
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Computación e informática > Tecnología de la información: 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

Forests in Our World: How the Climate Affects Woodlands Gunther Willinger / Libro Tapa dura
common.buy 70.79 €
Fox and Emily's Long Migration Zipporah Mitcham Davis / Libro Tapa blanda
common.buy 15.49 €
Third Level Tithing Paul Wood / Libro Tapa blanda
common.buy 18.09 €
Task-Based Language Learning in a Real-World Digital Environment Paul Seedhouse / Libro Tapa dura
common.buy 190.69 €
A HISTORY OF EIGHTEENTH CENTURY LITERATU MA EDMUND GOSSE / Libro Tapa dura
common.buy 40.79 €
Mr Benjamin's Suitcase of Secrets Pei-Yu Chang / Libro Tapa dura
common.buy 16.19 €
A Treatise on Military Law and the Practice of Courts-Martial. S V Benet / Libro Tapa blanda
common.buy 31.09 €
Do What You Love - And Never Work Again!: Dare to take the money! Samuel Cremer / Libro Tapa blanda
common.buy 13.89 €
Anna's Home Front SARA THOMSON / Libro Tapa blanda
common.buy 15.59 €
Fifty Traditional And Classical Pieces for Easy Piano Dr Michael Hewitt / Libro Tapa blanda
common.buy 10.99 €
Private Lives of the Tudors Tracy Borman / Libro Tapa blanda
common.buy 17.29 €
Clinical Effectiveness in Psychotherapy and Mental Health Penny Leroux / Libro Tapa dura
common.buy 215.29 €
Health Tracking Log: 12 Week Diabetic Health Tracking Log (Celestial) 3j Journals / Libro Tapa blanda
common.buy 10.09 €
Handbook for Shooters and Reloaders Parker O. Ackley / Libro Tapa blanda
common.buy 14.39 €
Ladybird Book of the Hipster Joel Morris / Libro electrónico Adobe ePub DRM
common.buy 17.49 €
Coming to Terms with the Future Gisela Eberhardt / Libro Tapa dura
common.buy 122.79 €
Unti Heath Historical Romance #42 HEATH LORRAINE / Libro Tapa blanda
common.buy 9.09 €
Boogie's Book on How to Be Brave Emma Lawson / Libro Tapa blanda
common.buy 14.89 €
A Spaniard's Revenge, or, The Death of Ricardo Ruiz / Libro Tapa blanda
common.buy 15.49 €
A Sliver of Stardust Marissa Burt / Libro Tapa blanda
common.buy 10.69 €
West European City Ils 179 Robert E. Dickinson / Libro Tapa dura
common.buy 418.79 €
Shaping and Reshaping Chinese American Identity Jingyi Song / Libro Tapa dura
common.buy 139.99 €
ESSAYS ON PRACTICAL POLITICS Theodore Roosevelt / Libro Tapa dura
common.buy 35.69 €
Determined Fight Onward Robert Potts / Libro Tapa blanda
common.buy 16.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?