«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 for Industrial Applications

Specifying and Programming the Steam Boiler Control

Idioma InglésInglés
Libro Tapa blanda
Libro Formal Methods for Industrial Applications Jean-Raymond Abrial
Código Libristo: 01566246
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, octubre 1996
This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evalua... Descripción completa
? points 276 b
112.79 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Observations Geologiques Faites En Italie Gosselet-J / Libro Tapa blanda
common.buy 15.19 €
Tagebücher Chris Hirte / Libro Tapa dura
common.buy 30.39 €
100 osvědčených stavebních detailů Klempířství a pokrývačství Bohumil Štumpa; Jiří Langner; Ondřej Šefců / Libro Libro
common.buy 16.89 €
Der hl.Fridolin und seine Zeit Hermann Ays / Libro Tapa dura
common.buy 19.79 €
Historia, Fe y Practicas Menonitas: Un enfoque paraguayo Gerhard Ratzlaff / Libro Tapa blanda
common.buy 18.19 €
La Mujer Ante La Lei Civil, La Política I El Matrimonio Santiago Vaca Guzman / Libro Tapa dura
common.buy 33.69 €
Der Einfluss aeusserer Faktoren auf das Geschlechtsleben in England Iwan Bloch / Libro Tapa blanda
common.buy 27.69 €
Lucrezia Borgia Maria Bellonci / Libro Tapa blanda
common.buy 19.19 €

This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evaluating formal methods for usage under industrial constraints: the major techniques for formally supported specification, design, and verification of large programs and complex systems are applied to a non-trivial and non-academic problem which is typical for industrial informal requirements specifications.The 21 papers included in the book, together with an introduction and competition report, were selected from 33 candidate solutions. This book comes with a CD-ROM containing, besides the printed papers, executable code, full definitions of all parts of the specifications, and detailed descriptions of foundational matters where appropriate.

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 for Industrial Applications
Autor Jean-Raymond Abrial, Egon Börger, Hans Langmaack
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 1996
Número de páginas 523
EAN 9783540619291
ISBN 3540619291
Código Libristo 01566246
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 795
Dimensiones 155 x 235 x 29

Categorías

Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería mecánica y de materiales > Ingeniería mecánica > Motores y transmisión de fuerza
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
Economía, finanzas, empresa y gestión > Empresa y gestión
Economía, finanzas, empresa y gestión > Industria y estudios industriales
Computación e informática > Sistemas operativos
Computación e informática > Ciencias 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

Methods of Microarray Data Analysis IV Simon M. Lin / Libro Tapa blanda
common.buy 112.79 €
Statistical Analysis with R for Dummies Schmuller / Libro Tapa blanda
common.buy 24.29 €
Dreams, Virtue and Divine Knowledge in Early Christian Egypt Bronwen Neil / Libro electrónico Adobe ePub DRM
common.buy 141.19 €
Visions and Violence in the Pseudepigrapha James H. Charlesworth / Libro Tapa dura
common.buy 141.39 €
Chinese Business and the Asian Crisis David Fu-Keung Ip / Libro Tapa dura
common.buy 124.09 €
3d Printing And Additive Manufacturing: Principles And Applications - Fifth Edition Of Rapid Prototyping Chee Kai Chua / Libro Tapa blanda
common.buy 63.69 €
Chinese Masters of the 20th Century Volumes 1: Art of Li Keran Lu Zhangshen / Libro Tapa blanda
common.buy 115.69 €
Independence Day Richard Ford / Libro Tapa blanda
common.buy 18.79 €
Light on the Path and Through the Gates of Gold Mabel Collins / Libro Tapa blanda
common.buy 14.49 €
Occupational Diseases and Health Awareness through Multimedia Senan / Libro Tapa blanda
common.buy 9.19 €
Classical and Mediaeval Literature Criticism Gale Group / Libro Tapa dura
common.buy 671.29 €
Everyday Ethics Paul Brodwin / Libro Tapa dura
common.buy 106.09 €
Mobile and Wireless Communication Networks Guy Pujolle / Libro Tapa dura
common.buy 112.79 €
Ernest Maltravers Baron Edward Bulwer Lytton Lytton / Libro Tapa blanda
common.buy 8.99 €
Reception of David Hume In Europe Peter Jones / Libro Tapa dura
common.buy 575.89 €
Palestine-Israel a Just Plan for Permanent Peace Jamshid Farshidi / Libro Tapa blanda
common.buy 16.39 €

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?