«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 and Software Engineering

17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Formal Methods and Software Engineering Michael Butler
Código Libristo: 09535572
Editores Springer International Publishing AG, noviembre 2015
This book constitutes the refereed proceedings of the 17th International§Conference on Formal Engine... 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

Zaginieni mistrzowie. Ponowne odkrycie duchowości Starożytnych Greckich Filozofów Eckhart Tolle Libro binding.
common.buy 10.49 €
MMA - Mixed Martial Arts France (Calendrier de bureau 2026 DIN A5 vertical), CALVENDO calendrier mensuel Calvendo / Calendario/Diario Calendario
common.buy 22.59 €
Druhá derivace touhy Na prahu digitální teologie Tomáš Sedláček / Libro Tapa dura
common.buy 13.39 €
Peche a la lune (La) DUBOIS / Libro Tapa blanda
common.buy 7.89 €
Il libro dei lupi MEZZO DAVIDE ANDREA / Libro Tapa blanda
common.buy 18.10 €
De la race des seigneurs Alain-Fabien Delon / Libro Tapa blanda
common.buy 32.39 €
LA NATURE EN LANGUEDOC-ROUSSILLON LEGENDRE / Libro Libro
common.buy 14.89 €
Historia del convento de Ntra.Sra.del Rosario de Oviedo TABOADA / Libro Tapa blanda
common.buy 41.59 €
CONOCIMIENTO DEL PROFESIONAL DE SALUD SOBRE QUIRÓFANO DIFERENCIADO Karla Sujey Vasquez Larco / Libro Tapa blanda
common.buy 43.29 €
Max von Schenkendorf E. Heinrich / Libro Tapa blanda
common.buy 34.49 €
Don Chisciotte in Sicilia Roberto Mandracchia / Libro Tapa blanda
common.buy 19.19 €
Económico
Ran the Peerless Beauty 06 Hana Rude / Libro Tapa blanda
common.buy 2.59 €
Epistola Pastoralis S. Nersetis Claiensis... Giuseppe Cappelletti / Libro Tapa blanda
common.buy 20.00 €
Appuntamento a Positano Goliarda Sapienza / Libro Tapa blanda
common.buy 15.69 €
Ich und du 5 podręcznik +CD /2012 Marta Kozubska Libro Tapa blanda
common.buy 9.89 €
Jak přemýšlí náš teenager? Tanith Careyová / Libro Tapa blanda
common.buy 17.49 €
De ejercicios con sor Isabél de Meester / Libro Tapa blanda
common.buy 13.29 €
Entstehung und Entwicklung des nationalsozialistischen Denkens in OEsterreich. Eine Analyse von Martin Pollacks "Der Tote im Bunker. Bericht uber mein Kacper Piontkowski / Libro Tapa blanda
common.buy 24.80 €
Espiritualidad Islamica en Venezuela Nadya Ramdjan / Libro Tapa blanda
common.buy 384.29 €
Auf dass wir klug werden Anja Zimmer / Libro Tapa blanda
common.buy 17.89 €
Biotechs A Schneider / Libro Tapa blanda
common.buy 13.99 €
Die Geschichte des Gil Blas von Santillana Alain René Le Sage / Libro Tapa blanda
common.buy 34.49 €
Chefs-d'Oeuvre de Voltaire. Tome 3. Merope Voltaire / Libro Tapa blanda
common.buy 21.09 €
Essai Philosophique Sur Le Corps Humain: Pour Servir de Suite A La Philosophie de la Nature. V2 Jean Baptiste Claude Delisle De Sales / Libro Tapa blanda
common.buy 30.09 €

This book constitutes the refereed proceedings of the 17th International§Conference on Formal Engineering Methods, ICFEM 2015, held in Paris,§France, in November 2015. The 27 revised full papers presented were§carefully reviewed and selected from 82 submissions. The papers cover a wide§range of topics in the area of formal methods and software engineering and are§devoted to advancing the state of the art of applying formal methods in§practice. They focus in particular on combinations of conceptual and§methodological aspects with their formal foundation and tool support.

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 and Software Engineering
Autor Michael Butler, Sylvain Conchon, Fatiha Za?di
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2015
Número de páginas 436
EAN 9783319254227
ISBN 3319254227
Código Libristo 09535572
Editores Springer International Publishing AG
Peso 6964
Dimensiones 155 x 235 x 236

Categorías

Computación e informática > Hardware (o soporte físico del ordenador) > Hardware de redes
Computación e informática > Programación informática/desarrollo de software > Algoritmos y estructuras de datos
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
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

Neurobrucellosis Mehmet Turgut / Libro Tapa dura
common.buy 110.59 €
Evolution Driven by Organismal Behavior Rui Diogo / Libro Tapa dura
common.buy 35.89 €
Federal Standards and Procedures for the National Watershed Boundary Dataset (WBD) U S Department of Agriculture / Libro Tapa blanda
common.buy 19.20 €
Rival Truths Lindsay St Claire / Libro Tapa blanda
common.buy 60.49 €
American Game Fishes; Their Habits, Habitat and Peculiarities; George O. ]. 1846- [From Old C [Shields / Libro Tapa dura
common.buy 42.61 €
Voice Biomarkers Shinichi Tokuno / Libro Tapa dura
common.buy 143.79 €
Popular
My Family Puzzle - Country Life Olivia Gibbs / Juego/Juguete Rompecabezas
common.buy 16.79 €
Tecumseh's Last Stand John Peter Sugden / Libro Tapa blanda
common.buy 25.09 €
Obturating Materials for Decidouos Dentition Deepti Jawa / Libro Tapa blanda
common.buy 43.29 €
Two Towers John Ronald Reuel Tolkien / Libro Tapa blanda
common.buy 13.49 €
Asi Se Dice! Level 1a, Student Edition McGraw-Hill Education / Libro Tapa dura
common.buy 141.99 €
Amnesty International and Women's Rights Miriam Ganzfried / Libro Tapa blanda
common.buy 65.59 €
A California Explorer: Five years contributions to California Explorer Magazine Meade Fischer / Libro Tapa blanda
common.buy 11.19 €
Questions and Answers on Bills, Notes, and Checks. E Richard Shipp / Libro Tapa blanda
common.buy 15.60 €
Blood Brothers Beyond Rob J Hayes / Libro Tapa dura
common.buy 23.09 €
The McGregor Chronicles: Book 2 - Escape from Eden Larry K Collins / Libro Tapa blanda
common.buy 13.50 €
Top Fermented Vegetable Recipes: A Step-by-Step Guide for Kimchi, Krauts, and Ot Lisa Young / Libro Tapa blanda
common.buy 8.09 €
Unmanned Aircraft System Commander's Guide and Aircrew Training Manual (TC 1-600) Department Of the Army / Libro Tapa blanda
common.buy 20.10 €
Music Theory for Singers Level One SANDVIG / Libro Tapa blanda
common.buy 27.99 €
Pearson REVISE 11+ English Practice Book 1 Helen Thomson / Libro Tapa blanda
common.buy 15.19 €
Two Ways Home E. S. BURTON / Libro Tapa blanda
common.buy 17.39 €
Rise of the Necrofauna Britt Wray / Libro Tapa blanda
common.buy 16.79 €
The Kama Sutra Vatsyayana / Libro Tapa blanda
common.buy 15.40 €
LEGO (R) Brick Playing Cards LEGO / Artículos impresos Tarjetas
common.buy 14.99 €

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?