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

LA NATURE EN LANGUEDOC-ROUSSILLON LEGENDRE / Libro Libro
common.buy 16.09 €
Histoire Du Plebiscite: Le Plebiscite Dans L'Antiquite (1887) Charles Borgeaud / Libro Tapa blanda
common.buy 24.49 €
Max von Schenkendorf E. Heinrich / Libro Tapa blanda
common.buy 34.49 €
Druhá derivace touhy Na prahu digitální teologie Tomáš Sedláček / Libro Tapa dura
common.buy 13.49 €
Speculum Saxonum Ius municipale / Libro Tapa dura
common.buy 6.19 €
Peche a la lune (La) DUBOIS / Libro Tapa blanda
common.buy 9.09 €
Historia del convento de Ntra.Sra.del Rosario de Oviedo TABOADA / Libro Tapa blanda
common.buy 41.79 €
Jak přemýšlí náš teenager? Tanith Careyová / Libro Tapa blanda
common.buy 19.09 €
Ich und du 5 podręcznik +CD /2012 Marta Kozubska Libro Tapa blanda
common.buy 10.19 €
Popular
Appuntamento a Positano Goliarda Sapienza / Libro Tapa blanda
common.buy 15.49 €
Don Chisciotte in Sicilia Roberto Mandracchia / Libro Tapa blanda
common.buy 19.39 €
Hunger auf Leben Brigitte Reimann / Libro Tapa blanda
common.buy 8.19 €
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.79 €
Espiritualidad Islamica en Venezuela Nadya Ramdjan / Libro Tapa blanda
common.buy 96.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 €
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.19 €
de l'Utilite Des Colonies Pour La France Et Du Systeme Des Douanes Applique Aux Denrees Coloniales Ambert-J / Libro Tapa blanda
common.buy 15.09 €
Les Femmes Du Nouveau Monde (Nouv. Ed.) Eyma-X / Libro Tapa blanda
common.buy 26.09 €
TAMPOCO ABRAS ESTE LIBRO JAMáS ANDY LEE / Libro Tapa dura
common.buy 18.09 €
De ejercicios con sor Isabél de Meester / Libro Tapa blanda
common.buy 13.39 €
Cacographie Rangee Dans Un Nouvel Ordre, Ou Exercices Sur l'Orthographe Lequien-E-A / Libro Tapa blanda
common.buy 19.09 €
Herzvibrieren Josie Kju / Libro Tapa blanda
common.buy 12.99 €

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 €
Tecumseh's Last Stand John Peter Sugden / Libro Tapa blanda
common.buy 25.09 €
Próximamente
Thermo-Hydraulics of Nuclear Reactors Christopher Earls Brennen / Libro Tapa dura
common.buy 64.69 €
Rival Truths Lindsay St Claire / Libro Tapa blanda
common.buy 57.29 €
American Game Fishes; Their Habits, Habitat and Peculiarities; George O. ]. 1846- [From Old C [Shields / Libro Tapa dura
common.buy 42.59 €
Obturating Materials for Decidouos Dentition Deepti Jawa / Libro Tapa blanda
common.buy 43.29 €
Multi-GHz Frequency Synthesis & Division Hamid R. Rategh / Libro Tapa blanda
common.buy 112.79 €
A California Explorer: Five years contributions to California Explorer Magazine Meade Fischer / Libro Tapa blanda
common.buy 11.19 €
The McGregor Chronicles: Book 2 - Escape from Eden Larry K Collins / Libro Tapa blanda
common.buy 13.49 €
Top Fermented Vegetable Recipes: A Step-by-Step Guide for Kimchi, Krauts, and Ot Lisa Young / Libro Tapa blanda
common.buy 7.99 €
Music Theory for Singers Level One SANDVIG / Libro Tapa blanda
common.buy 27.29 €
Pearson REVISE 11+ English Practice Book 1 Helen Thomson / Libro Tapa blanda
common.buy 15.19 €
Gwendoline's Harvest: A Novel... James Payn / Libro Tapa blanda
common.buy 25.69 €
The Kama Sutra Vatsyayana / Libro Tapa blanda
common.buy 15.39 €
Popular
Ritual Baths Deborah Hanekamp / Libro Tapa dura
common.buy 24.29 €
Voice Biomarkers Shinichi Tokuno / Libro Tapa dura
common.buy 143.69 €
Grade 9-1 GCSE Chemistry: OCR Gateway Revision Guide with Online Edition CGP Books / Libro Tapa blanda
common.buy 9.59 €
Successful Technological Integration for Competitive Advantage in Retail Settings Eleonora Pantano / Libro Tapa dura
common.buy 233.99 €
Erich Von Manstein Benoit Lemay / Libro Tapa dura
common.buy 45.79 €
Arimaspian Eye David L. Hall / Libro Tapa dura
common.buy 53.89 €
Key Concepts in Health Psychology Ian Albery / Libro Tapa dura
common.buy 119.59 €
Separation and the Very Young James Robertson / Libro Tapa blanda
common.buy 30.09 €
Chaplains of ANZAC Dr Jennifer Betham-Lang / Libro Tapa dura
common.buy 16.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