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

FM 2015: Formal Methods

20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro FM 2015: Formal Methods Nikolaj Bj?rner
Código Libristo: 09277583
Editores Springer International Publishing AG, mayo 2015
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods... 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

Happy House 3rd Edition 1 Class Audio CDs Stella Maidment / Audio CD de audio
common.buy 32.09 €
Schnelle thermische Prozessierung von Cu(In, Ga)Se2-Schichten Christian Merk / Libro Tapa blanda
common.buy 52.99 €
JACK LONDON KOZA / Libro Tapa dura
common.buy 22.69 €
Die Ritter Vom Geiste, Volumes 1-2 Karl Gutzkow / Libro Tapa blanda
common.buy 32.79 €
Programmierkurs TURBO-PASCAL Version 7.0 Henning Mittelbach / Libro Tapa blanda
common.buy 56.99 €
Italie - 50 itinéraires de rêve collegium / Libro Tapa blanda
common.buy 34.69 €
1972 Dr Gustav Keller / Libro Tapa blanda
common.buy 8.49 €
Elf Freunde müßt ihr sein . . . Sammy Drechsel / Libro Tapa dura
common.buy 14.99 €
Die drei ??? und der schreiende Zug Andreas Ruch / Libro Tapa dura
common.buy 15.09 €
Aquí yace la amargura Cynthia Fleury / Libro electrónico Adobe ePub DRM
common.buy 6.89 €
Čti a hraj si s námi Ledové království / Libro Libro de concertinas
common.buy 19.39 €

This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.

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 FM 2015: Formal Methods
Autor Nikolaj Bj?rner, Frank de Boer
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2015
Número de páginas 610
EAN 9783319192482
ISBN 3319192485
Código Libristo 09277583
Editores Springer International Publishing AG
Peso 9358
Dimensiones 155 x 235 x 235

Categorías

Computación e informática > Ciencias de la computación > Interacción persona-ordenador > Diseño de interfaces de usuario y usabilidad
Computación e informática > Ciencias de la computación > Interacción persona-ordenador > Arquitectura de la información
Computación e informática > Hardware (o soporte físico del ordenador) > Mantenimiento y reparación
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

KombiFiD - Combined Firm Data for Germany. Joachim Wagner / Libro Tapa blanda
common.buy 62.09 €
Seven Deadly Sins of White Christian Nationalism Carter Heyward / Libro Tapa blanda
common.buy 30.79 €
Louis Couturat: The History of Modern Symbolic Logic and Other French Manuscripts Oliver Schlaudt / Libro Tapa dura
common.buy 157.89 €
Mind Diet for Beginners: 85 Recipes and a 7-Day Kickstart Plan to Boost Your Brain Health Kelli McGrane / Libro Tapa blanda
common.buy 14.99 €
Once Upon A Rhyme Julie Murrow / Libro Tapa blanda
common.buy 5.99 €
Federal Civil Penalties Inflation Adjustment Act Catch-Up Adjustments (US Occupational Safety and Health Administration Regulation) (OSHA) (2018 Editi The Law Library / Libro Tapa blanda
common.buy 19.99 €
Philosophy of Law Kant Immanuel Kant / Libro Tapa blanda
common.buy 25.69 €
Falstaff: Give Me Lifevolume 1 Harold Bloom / Libro Tapa blanda
common.buy 13.49 €
Thomas Merton and the Inclusive Imagination Ross Labrie / Libro Tapa dura
common.buy 55.19 €
The 22-Day Revolution Marco Borges / Libro Tapa dura
common.buy 28.19 €
To See My World In Rhythm And Rhyme Thomas Wayne Allen / Libro Tapa blanda
common.buy 18.29 €
Technology in Retrospect Michael J. Berson / Libro Tapa blanda
common.buy 64.09 €
Fallows Aaron Ross / Libro Tapa dura
common.buy 29.19 €
Pip and Posy: The Bedtime Frog Axel Scheffler / Libro Tapa dura
common.buy 12.39 €
Total Heart Health Robert Schneider / Libro Tapa blanda
common.buy 15.79 €
Manners of Interpretation Miguel Tamen / Libro Tapa blanda
common.buy 42.39 €
Hegel Reader Stephen Houlgate / Libro Tapa dura
common.buy 170.99 €
Writer's Roadmap Wendell Wellman / Libro Tapa blanda
common.buy 14.99 €
Happily Ever After Annette Morris / Libro Tapa blanda
common.buy 12.69 €
Silent Scream Sandra A Jones / Libro Tapa blanda
common.buy 21.99 €
Little Joseph H Easley / Libro Tapa dura
common.buy 25.09 €

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?