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

Integrated Formal Methods

10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Integrated Formal Methods Einar Broch Johnsen
Código Libristo: 01663776
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mayo 2013
This book constitutes the refereed proceedings of the 10th International Conference on Integrated Fo... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Política de devolución de 30 días

Clientes que también han comprado

Manuel de communication non verbale appliquée - Le modèle de recours à la force évolué et les indices de menace Rossin-Arthiat / Libro Tapa blanda
common.buy 42.69 €
Próximamente
Crimson Spell. Bd.5 Ayano Yamane / Libro Tapa blanda
common.buy 9.79 €
Kunst Des 18. Jahrhunderts Edmond de Goncourt / Libro Tapa blanda
common.buy 46.49 €
Dançando tango em Istambul Melis Merih Kiliç / Libro Tapa blanda
common.buy 49.19 €
EINE KLEINE NACHTMUSIK KV 525 WOLFGANG AMADEUS MOZ Libro binding.
common.buy 11.59 €
Éléments de culture générale - 100 'colles' et sujets pour les prépas et les oraux des concours Dumont / Libro Tapa blanda
common.buy 31.19 €
Meine täglichen Übungen in Mathematik - 10. Schuljahr. H.3 Karlheinz Lehmann / Libro Hoja
common.buy 11.69 €
Totenbuch DES Mainzer Dominikanerklosters Isnard W. Frank / Libro Tapa dura
common.buy 119.29 €
Recht und Energie Peter Rosin / Libro Tapa dura
common.buy 227.29 €
Rivalen unter roter Sonne, 1 Blu-ray Terence Young / Video Blu-ray
common.buy 14.59 €
La biblia del ayurveda : guía definitiva de la sanación ayurvédica Anne McIntyre / Libro Tapa blanda
common.buy 20.49 €

This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. §The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. The papers cover the spectrum of integrated formal methods, focusing on refinement, integration, translation, verification, reachability and model checking, usability and testing, distributed systems, semantics, and system-level analysis.

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 Integrated Formal Methods
Autor Einar Broch Johnsen, Luigia Petre
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2013
Número de páginas 443
EAN 9783642386121
ISBN 3642386121
Código Libristo 01663776
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 700
Dimensiones 155 x 235 x 26

Categorías

Computación e informática > Ciencias de la computación > Teoría matemática de la computación > Matemáticas para informáticos
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 > 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

Safety of historical stone arch bridges Pieter Van Gelder / Libro Tapa blanda
common.buy 110.59 €
Space groups (156) P3m1-(148) R-3 Pierre Villars / Libro Tapa dura
common.buy 600.69 €
Progressive Development Arie S. Issar / Libro Tapa blanda
common.buy 112.79 €
Tocqueville Khaled Mattawa / Libro Tapa blanda
common.buy 14.69 €
Psychology of Crime, Policing and Courts Andreas Kapardis / Libro Tapa dura
common.buy 253.39 €
Novels of Charles Lever V.1- The Confessions of Harry Lorrequer.., Volume 16 Charles Lever / Libro Tapa dura
common.buy 41.59 €
Popular
Stalin Edvard Radzinsky / Libro Tapa blanda
common.buy 17.39 €
Blaze and Thunderbolt C. W. Anderson / Libro Tapa blanda
common.buy 8.89 €
Inside Gitmo Gordon Cucullu / Libro Tapa blanda
common.buy 22.09 €
Meetings with Remarkable Women Lenore Friedman / Libro Tapa blanda
common.buy 30.39 €
Guided Highlighted Reading: A Close-Reading Strategy for Navigating Complex Text Elaine M. Weber / Libro Tapa blanda
common.buy 20.09 €
Free Thoughts on Despotic and Free Governments Joseph Townsend / Libro Tapa dura
common.buy 35.79 €
Racism, Culture, Markets John Gabriel / Libro Tapa dura
common.buy 294.79 €
Snapshots of Lisa: A Candid Look at Down Syndrome and Snippets of Lisa's Life Angee Barcus / Libro Tapa blanda
common.buy 13.49 €
Exponential Families of Stochastic Processes Uwe Küchler / Libro Tapa dura
common.buy 169.09 €
Mentalizing in Arts Therapies Marianne Verfaille / Libro Tapa dura
common.buy 213.89 €
Learn Power BI Greg Deckler / Libro Tapa blanda
common.buy 46.49 €
Awakening Power Sat Dharma / Libro Tapa blanda
common.buy 16.49 €
Broadtube Music Mag - Volume 28: Music Mag 28 Olamide Ayodeji Kolade / Libro Tapa blanda
common.buy 10.69 €
Dangerous Language ? Esperanto under Hitler and Stalin Humphrey Tonkin / Libro Tapa blanda
common.buy 127.69 €
Global Business Strategy Cornelis A. de Kluyver / Libro Tapa blanda
common.buy 30.39 €
Of Lands High and Low Martha Keyes / Libro Tapa blanda
common.buy 13.59 €
Fly ash for water and wastewater treatment Md. Ahmaruzzaman / Libro Tapa blanda
common.buy 43.29 €
Elegies. William Mason / Libro Tapa blanda
common.buy 13.29 €

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