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

Software Engineering and Formal Methods

SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

Idioma InglésInglés
Libro Tapa blanda
Libro Software Engineering and Formal Methods Carlos Canal
Código Libristo: 09155938
Editores Springer International Publishing AG, febrero 2015
This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 confe... 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 Morale Anarchiste Petr Alekseevich Kropotkine / Libro Tapa blanda
common.buy 14.19 €
Het obstipatie formularium A.J.P.M. Smout / Libro Tapa blanda
common.buy 25.09 €
NUEVA NOVELA PR AUTOR PROVISIONAL / Libro Tapa dura
common.buy 23.69 €
Tout le DEAS en QCM/QROC - IFAS - Diplôme État Aide-soignant - 2023-2024 Hayat Abbadi / Libro Tapa blanda
common.buy 21.19 €
Expressionismus Bahr / Libro Tapa blanda
common.buy 16.99 €
Kraniosakrální terapie Velká kniha Thomas Attlee / Libro Libro
common.buy 30.39 €
Diriger et gérer l'entreprise : dossiers et questions Koubi / Libro Tapa blanda
common.buy 24.79 €
Propagation des singularites des solutions d'equations pseudo-differentielles a caracteristiques de multiplicites variables Richard Lascar / Libro Tapa blanda
common.buy 39.69 €
Sinn der Liebe Wladimir Solov'ev / Libro Tapa dura
common.buy 34.99 €
OEffentliche Verwaltung in Brasilien Und Deutschland Katrin Möltgen-Sicking / Libro Tapa blanda
common.buy 73.99 €
Ratsburgerschaft und Residenz Christian Schmitz / Libro Tapa dura
common.buy 173.49 €
R alisation d''une Commande Num rique Et Identification Par RNA Aimad Ahriche / Libro Tapa blanda
common.buy 38.49 €
Les Anomalies Chromosomiques Et Leurs Cons quences Sur La Reproduction Katia Julian / Libro Tapa blanda
common.buy 67.89 €
Enthaubttung dess Weltberuhmten Wohlredners Ciceronis Joseph Anton Stranitzky / Libro Tapa blanda
common.buy 9.99 €
Próximamente
Cr?pes & Galettes Hervé Kerourédan / Libro Tapa dura
common.buy 9.59 €
Englischsprachige Shakespeareparodien Des 20. Jahrhunderts Amrei Wiencek / Libro Tapa blanda
common.buy 52.89 €
Romeo Et Juliette Au Village (Ed.1895) Gottfried Keller / Libro Tapa blanda
common.buy 25.09 €
Bergwercks Geschoepff, und wunderbare Eigenschafft der Metalsfruchte Georg Meyer / Libro Tapa blanda
common.buy 21.79 €

This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Grenoble, France, in September 2014. The 26 papers included in this volume were carefully reviewed and selected from 49 submissions. They are from the following workshops: the 1st Workshop on Human-Oriented Formal Methods - From Readability to Automation, HOFM 2014, the 3rd International Symposium on Modelling and Knowledge Management Applications - Systems and Domains, MoKMaSD 2014, the 8th International Workshop on Foundations and Techniques for Open Source Software Certification, Open Cert 2014, the 1st Workshop on Safety and Formal Methods, SaFoMe 2014, and the 4th Workshop on Formal Methods in the Development of Software, WS-FMDS 2014.

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 Software Engineering and Formal Methods
Autor Carlos Canal, Akram Idani
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2015
Número de páginas 405
EAN 9783319152004
ISBN 3319152009
Código Libristo 09155938
Editores Springer International Publishing AG
Peso 6555
Dimensiones 155 x 235 x 10

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

Oxford Phonics World: Level 1: Teacher's Pack with Classroom Presentation Tool 1 / Libro Tapa blanda
common.buy 70.89 €
Unwrapping God's Gift of Life Cheryl Delamarter / Libro Tapa blanda
common.buy 26.09 €
Functional Foods and Nutrition G. Subbulakshami / Libro Tapa dura
common.buy 122.29 €
Linguistic Landscape of the Mediterranean Stefania Tufi / Libro Tapa dura
common.buy 139.39 €
From Furs to Farms John Reda / Libro Tapa dura
common.buy 170.19 €
United States of America Murray / Libro Tapa dura
common.buy 37.69 €
Chemical News and Journal of Physical Science, Volume 3 Sir William Crookes / Libro Tapa dura
common.buy 44.59 €
China and Sustainable Development in Latin America López Andres / Libro Tapa dura
common.buy 130.09 €
Law of Moses Viewed in Connexion with the History and Character of the Jews Henry John Rose / Libro Tapa dura
common.buy 34.79 €
Wild Kitty L T Meade / Libro Tapa blanda
common.buy 12.39 €
Shih Tzu, Shih Tzu training a: Think Like a Dog, But Don't Eat Your Poop!: Shih Tzu Breed Expert Training, Here's EXACLTY How to Train Yuor Shih Tzu Paul Allen Pearce / Libro Tapa blanda
common.buy 12.79 €
Stylistics and Shakespeare's Language Mireille Ravassat / Libro Tapa blanda
common.buy 57.29 €
Grammar of Ornament by Owen Jones Owen Jones / Libro Tapa dura
common.buy 53.39 €
Lost in Newfoundland Michael Winsor / Libro Tapa dura
common.buy 29.69 €
Multi Color Stripes: Diary Weekly Spreads January to December Shayley Stationery Books / Libro Tapa blanda
common.buy 14.49 €
Basic Tagalog Yolanda C. Hernandez / Libro Tapa blanda
common.buy 15.79 €
CSB Men of Character Bible, Revised and Updated, Forest Leathertouch, Indexed Gene A. Getz / Libro Libro
common.buy 67.29 €
The Sad Ghost Club Colouring Book Lize Meddings / Libro Tapa blanda
common.buy 11.69 €
Beginning R Larry Pace / Libro Tapa blanda
common.buy 62.89 €
Polymer Additives Jiri E. Kresta / Libro Tapa blanda
common.buy 56.59 €
Nina Simone Feeling Good SATB/Piano (ARRANGER); MUSE (A / Libro Tapa blanda
common.buy 6.99 €
Building Within Nature Andy Wasowski / Libro Tapa blanda
common.buy 25.09 €
Level 3: The Swiss Family Robinson Book and MP3 Pack Johann David Wyss / Libro Tapa dura
common.buy 10.89 €
Assessing the Hypoxia Threat in U.S. Coastal Waters Steve Frederickson / Libro Tapa dura
common.buy 260.59 €

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?