«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 Applied to Industrial Complex Systems

Idioma InglésInglés
Libro Tapa dura
Libro Formal Methods Applied to Industrial Complex Systems Jean-Louis Boulanger
Código Libristo: 05103844
Editores ISTE Ltd and John Wiley & Sons Inc, julio 2014
A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, C... Descripción completa
? points 532 b
217.49 €
Almacenamiento externo Envío en 14-20 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Aller Anfang ist leicht Susanne Holmes / Artículos impresos Partituras
common.buy 16.49 €
Eduquer Et Prier Marion Isvi / Libro Tapa blanda
common.buy 59.99 €
Hazel Brugger passiert, 1 Audio-CD Hazel Brugger / Audio CD de audio
common.buy 27.99 €
Cesar-Pierre Richelet (1626 - 1698) Laurent Bray / Libro Tapa dura
common.buy 119.29 €
Voprosy po kursu "Filosofiya" Gertruda Cukova / Libro Tapa blanda
common.buy 26.69 €

A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. in various fields, such as railways, aeronautics, and the automotive industry, the purpose of this book is to present a summary of experience on the use of these "formal methods" (such as proof and model-checking) in industrial examples of complex systems.It is based on the experience of people who are currently involved in the creation and evaluation of safety critical system software. The involvement of people from within the industry allows us to avoid the usual problems of confidentiality which could arise and thus enables us to supply new useful information (photos, architecture plans, real examples, etc.).

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 Applied to Industrial Complex Systems
Autor Jean-Louis Boulanger
Idioma Inglés
Encuadernación Libro - Tapa dura
Fecha de publicación 2014
Número de páginas 496
EAN 9781848217096
ISBN 1848217099
Código Libristo 05103844
Editores ISTE Ltd and John Wiley & Sons Inc
Peso 884
Dimensiones 161 x 241 x 32

Categorías

Tecnología, ingeniería, agricultura, procedimientos industriales > Tecnología: cuestiones generales > Matemáticas para ingenieros
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

Crystal Chemistry of Condensed Phosphates A. Durif / Libro Tapa blanda
common.buy 259.19 €
String Theory: Volume 2, Superstring Theory and Beyond Joseph Polchinski / Libro Tapa blanda
common.buy 95.29 €
South African Reminiscences. a Series of Sketches of Prominent Public Events Since 1854, Etc. Richard William Murray / Libro Tapa blanda
common.buy 23.29 €
Famous Missions of California William Henry Hudson / Libro Tapa blanda
common.buy 14.19 €
Próximamente
Dynamic Research Support for Academic Libraries Starr Hoffman / Libro Tapa blanda
common.buy 87.59 €
Environmental Engineering: Review for the Professional Engineering Examination Ashok V. Naimpally / Libro Tapa blanda
common.buy 55.49 €

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?