«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 Techniques for Safety-Critical Systems

Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

Idioma InglésInglés
Libro Tapa blanda
Libro Formal Techniques for Safety-Critical Systems Cyrille Artho
Código Libristo: 09249874
Editores Springer International Publishing AG, abril 2015
This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniq... 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

Ciekawski George i jego sen MARGRET REY / Libro Tapa blanda
common.buy 3.59 €
BABADADA, slovenčina - Arabic (in arabic script), obrazkovy slovnik - visual dictionary (in arabic script) Babadada Gmbh / Libro Tapa blanda
common.buy 29.49 €
Dialogy s vnitřním kritikem Boleslav Keprt / Libro Tapa blanda
common.buy 15.19 €
El Derecho en Puerto Rico Fraticelli Torres / Libro Tapa blanda
common.buy 21.39 €
Mobilitätschancen für Lehrer in Deutschland und Europa Hermann Avenarius / Libro Tapa blanda
common.buy 21.79 €
Oeuvres Completes de Moliere. Tome 5. George Dandin. Moliere / Libro Tapa blanda
common.buy 38.09 €
Leselampe Flexilight Blue Words / Juego/Juguete Juguete
common.buy 11.29 €
Die Politisierung Des Islam Wilfried Röhrich / Libro Tapa blanda
common.buy 15.79 €
Dynamique non linéaire de l'opération de perçage Amir Kessentini / Libro Tapa blanda
common.buy 41.29 €
Die Formeln der Erfolgreichsten - Teil 1 John Train / Libro Tapa blanda
common.buy 26.79 €
East Side Story Max Heinrichs / Libro Tapa blanda
common.buy 11.09 €
Les Pays Etrangers Et l'Exposition de 1878. La Russie Et l'Exposition de 1878, (Ed.1878) Louis Leger / Libro Tapa blanda
common.buy 25.29 €
Robert Frank: Away Robert Frank / Libro Tapa blanda
common.buy 34.99 €
Edle Liköre und feine Schnäpse selbst gemacht! Simone Edelberg / Libro Tapa dura
common.buy 7.69 €

This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised full papers presented together with two invited talks were carefully reviewed and selected from 40 submissions. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.

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 Techniques for Safety-Critical Systems
Autor Cyrille Artho, Peter Csaba Ölveczky
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2015
Número de páginas 257
EAN 9783319175805
ISBN 3319175807
Código Libristo 09249874
Editores Springer International Publishing AG
Peso 4102
Dimensiones 155 x 235 x 14

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

Best Easy Day Hikes Death Valley National Park Bill Cunningham / Libro Tapa blanda
common.buy 15.99 €
Little Bells and Other Verses for Children Joyce Taylor / Libro Tapa dura
common.buy 27.89 €
Aim Straight at the Fountain and Press Vaporize Elizabeth Marie Young / Libro Tapa blanda
common.buy 15.79 €
Foreign Relations of the United States, 1969-1976, Volume VIII, Vietnam, January-October 1972 John M. Carland / Libro Tapa dura
common.buy 109.19 €
SemProM Wolfgang Wahlster / Libro Tapa blanda
common.buy 112.79 €
Doc Vincent M. Mallozzi / Libro Tapa dura
common.buy 24.29 €
Scheduling Without Conflict Weldon Burge / Libro Tapa blanda
common.buy 59.29 €
Puppy Parenting in an Apartment Cassie Leigh / Libro Tapa blanda
common.buy 15.09 €
A Kayak is My Church Pew Patricia Carney / Libro Tapa blanda
common.buy 16.39 €
Popular
Zeus Grants Stupid Wishes Cory OBrien / Libro Tapa blanda
common.buy 14.29 €
Popular
Walking the Cape Wrath Trail Iain Harper / Libro Tapa blanda
common.buy 20.59 €
Snow Angels, Secrets and Christmas Cake SUE WATSON / Libro Tapa blanda
common.buy 13.19 €
Solo Jill Mansell / Libro electrónico Adobe ePub DRM
common.buy 8.09 €
Royal Air Force Pilot's Notes for Mosquito Marks FII and NFXII Royal Air Force / Libro Tapa blanda
common.buy 11.19 €
Clock Nick Hemsley / Libro Tapa blanda
common.buy 15.89 €
Liability of Certification Service Providers - How the Providers of Certification Services Related to Electronic Signatures Could Manage their Liabili George Dimitrov / Libro Tapa blanda
common.buy 85.09 €
Understanding Career Counselling Jenny Kidd / Libro Tapa blanda
common.buy 41.79 €
Electron Kinetics and Applications of Glow Discharges Uwe Kortshagen / Libro Tapa dura
common.buy 169.09 €
Dynamics of Arterial Flow Stewart Wolf / Libro Tapa blanda
common.buy 56.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?