«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.

Formal Methods for Executable Software Models

14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Idioma InglésInglés
Libro Tapa blanda
Libro Formal Methods for Executable Software Models Marco Bernardo
Código Libristo: 02667827
Editores Springer International Publishing AG, mayo 2014
This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the Inter... 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

Aus Tirol - Berg- Und Gletscherreisen in Den Osterreichischen Hochalpen Anton von Ruthner / Libro Tapa blanda
common.buy 39.39 €
Popular
Tie vytúžené slová / Libro Tapa blanda
common.buy 18.59 €
Colores 1 Eria Krisztina Nagy Seres / Libro Tapa blanda
common.buy 14.49 €
Lunchbox na każdy dzień. Dookoła świata Bareła Malwina / Libro Tapa dura
common.buy 15.49 €
Auge und die optische Abbildung Wiebke Gelder / Libro Tapa blanda
common.buy 17.89 €
CIMT - Constraint Induced Movement Therapy Sabine Lamprecht / Libro electrónico Adobe ePub DRM
common.buy 45.09 €
Две жизни. Часть II Конкордия Антарова / Libro Tapa blanda
common.buy 9.79 €
Reptilien Und Amphibien Deutschlands in Wort Und Bild Hermann Lachmann / Libro Tapa blanda
common.buy 77.69 €
Trahison Que Tu Alimentes Tracy Lorraine / Libro Tapa blanda
common.buy 16.49 €
Faber-Castell Buntstift Jumbo Grip 16er Metalletui Juego/Juguete Juguete
common.buy 33.69 €
Les Industries d'Art, Les Ecoles Et Les Musees d'Art Industriel En France Departements Vachon-M / Libro Tapa blanda
common.buy 32.29 €
de la Distribution Des Bulletins de Vote Par Les Agents Salaries Des Communes Andral-P / Libro Tapa blanda
common.buy 14.19 €
Plain Principles Of Prose Composition (1893) William Minto / Libro Tapa blanda
common.buy 22.99 €
Controlling zwischen Shareholder Value und Stakeholder Value Regina W. Schröder / Libro Tapa dura
common.buy 47.39 €
Etica e hermeneutica Everton Nery Carneiro / Libro Tapa blanda
common.buy 49.19 €
Héroes y Heroínas: los Favoritos de los Dioses T. LLACAY / Libro Tapa blanda
common.buy 14.59 €
Medios técnicos para los instaladores autorizados : equipos de medida y herramientas José Manuel de la Cruz Gómez / Libro Tapa blanda
common.buy 26.09 €

This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014.§SFM 2014 was devoted to executable software models and covered topics such as variability models, automated analysis techniques, deductive verification, and runtime assessment and testing. The papers collected in the two parts (first part: modeling and verification; second part: run-time assessment and testing) of this volume represent the broad range of topics of the school.§

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 Executable Software Models
Autor Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2014
Número de páginas 343
EAN 9783319073163
ISBN 3319073168
Código Libristo 02667827
Editores Springer International Publishing AG
Peso 5329
Dimensiones 155 x 235 x 20

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

Digital Media Rimon Elias / Libro Tapa blanda
common.buy 55.49 €
Go on a Critter Scavenger Hunt Emily Kington / Libro Tapa dura
common.buy 31.89 €
Mathematics for Dyslexics and Dyscalculics - A Teaching Handbook 4e Steve Chinn / Libro Tapa blanda
common.buy 52.29 €
Law of Contracts, Volume 3 Theophilus Parsons / Libro Tapa dura
common.buy 47.49 €
Popular
Macbeth Jo Nesbo / Libro Tapa blanda
common.buy 9.69 €
Advances in Cognitive Neurodynamics (VI) José M. Delgado-García / Libro Tapa dura
common.buy 225.39 €
Confessions: The Princess, the Prick & the Priest Ella Frank / Libro Tapa blanda
common.buy 19.19 €
Fluctuational Effects in the Dynamics of Liquid Crystals E.I. Kats / Libro Tapa dura
common.buy 118.29 €
Happy Birthday Braylon - The Big Birthday Activity Book: Personalized Children's Activity Book Birthdaydr / Libro Tapa blanda
common.buy 10.69 €
A Magyar Birosagi Szervezet Es Perjog Az Arpad-Es A Vegyes-Hazi Kiralyok Alatt (1899) Hajnik Imre / Libro Tapa blanda
common.buy 40.69 €
Popular
The Lost Art of Handwriting Workbook: Practice Sheets to Improve Your Penmanship Brenna Jordan / Libro Tapa blanda
common.buy 14.39 €
ENGLISH FILE ADVANCED PLUS MULTIPACK TEACHERS GUIDE +RESOURCE Christina Latham-Koenig / Libro Tapa blanda
common.buy 49.39 €
Official History of Britain: Our Story in Numbers as Told by the Office For National Statistics Boris Starling / Libro electrónico Adobe ePub DRM
common.buy 8.09 €
How Great Cities Happen John Stanley / Libro Tapa dura
common.buy 173.29 €
Environmental Sustainability in the Mediterranean Region Carla Sofia Santos Ferreira / Libro Tapa dura
common.buy 180.29 €
Magritte CHAMBERS NICHOLAS / Libro Tapa dura
common.buy 60.99 €
Feathers of Color Lionel Douglass / Libro Tapa dura
common.buy 23.59 €
Cost-Minimizing Choice Behavior in Transportation Planning Sven B. Erlander / Libro Tapa blanda
common.buy 112.79 €
Emerging Trends in International Law on Secession Jelena Pifat / Libro Tapa blanda
common.buy 108.89 €
Neoliberalism and Cultural Transition in New Zealand Literature, 1984-2008 Jennifer Lawn / Libro Tapa dura
common.buy 162.79 €
Foundation Core GCSE Maths 1-3 Michael White / Libro Tapa blanda
common.buy 13.69 €
Black Mountains Ordnance Survey / Artículos impresos Mapa
common.buy 19.59 €
King Arthur Trilogy Rosemary Sutcliff / Libro Tapa blanda
common.buy 17.29 €
My Education William Seward Burroughs / Libro Tapa blanda
common.buy 12.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?