Formal Methods Applied to Complex Systems: Implementation of the B Method (Computer Engineering Series)
ISBN 10: 1848217099 ISBN 13: 9781848217096
Editorial: Wiley-ISTE, 2014
Nuevos
Encuadernación de tapa dura
Librería:
Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Vendedor de AbeBooks desde 25 de marzo de 2015
Este artículo en concreto ya no está disponible.
Descripción
Descripción:
In. N° de ref. del artículo ria9781848217096_new
Sinopsis:
This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, 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 “formal methods” (based on formal techniques such as proof, abstract interpretation and model-checking) in industrial examples of complex systems, based on the experience of people currently involved in the creation and assessment of safety critical system software. The involvement of people from within the industry allows the authors to avoid the usual confidentiality problems which can arise and thus enables them to supply new useful information (photos, architecture plans, real examples, etc.).
Acerca del autor:
Jean-Louis Boulanger is currently an Independent Safety Assessor (ISA) in the railway domain focusing on software elements. He is a specialist in software engineering (requirement engineering, semi-formal and formal method, proof and model-checking). He also works as an expert for the French notified body CERTIFER in the field of certification of safety critical railway applications based on software (ERTMS, SCADA, automatic subway, etc.). His research interests include requirements, software verification and validation, traceability and RAMS with a special focus on SAFETY.
"Sobre este título" puede pertenecer a otra edición de este libro.
Detalles bibliográficos
Título: Formal Methods Applied to Complex Systems: ...
Editorial: Wiley-ISTE
Año de publicación: 2014
Encuadernación: Encuadernación de tapa dura
Condición: New
Los mejores resultados en AbeBooks
Imagen del vendedor
Formal Methods Applied to Complex Systems : Implementation of the B Method
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 21314149
Comprar usado
EUR 196,41
Gastos de envío:
EUR 16,99
De Reino Unido a Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen del vendedor
Formal Methods Applied to Complex Systems
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
Gebunden. Condición: New. Inhaltsverzeichnis1. Presentation of the B Method, Jean-Louis Boulanger. 2. Atelier B, Thierry Lecomte. 3. B Tools, Jean-Louis Boulanger. 4. The B Method at Siemens, Daniel Dolle. 5. Industrial Applications for Modeling with the B Me. Nº de ref. del artículo: 597091499
Comprar nuevo
EUR 197,11
Gastos de envío:
EUR 48,99
De Alemania a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Formal Methods Applied to Complex Systems : Implementation of the B Method
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 21314149
Comprar usado
EUR 197,52
Gastos de envío:
EUR 2,27
A Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen del vendedor
Formal Methods Applied to Complex Systems : Implementation of the B Method
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 21314149-n
Comprar nuevo
EUR 214,36
Gastos de envío:
EUR 16,99
De Reino Unido a Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen de archivo
Formal Methods Applied to Complex Systems
Publicado por
ISTE Ltd and John Wiley and Sons Inc, 2014
ISBN 10: 1848217099
ISBN 13: 9781848217096
Nuevo
Tapa dura
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
HRD. Condición: New. New Book. Shipped from UK. Established seller since 2000. Nº de ref. del artículo: FW-9781848217096
Comprar nuevo
EUR 214,38
Gastos de envío:
EUR 6,65
De Reino Unido a Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen de archivo
Formal Methods Applied to Complex Systems: Implementation of the B Method (Computer Engineering (Wiley))
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Hardcover. Condición: New. Nº de ref. del artículo: 6666-WLY-9781848217096
Comprar nuevo
EUR 214,75
Gastos de envío:
EUR 17,55
De Reino Unido a Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen del vendedor
Formal Methods Applied to Complex Systems : Implementation of the B Method
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 21314149-n
Comprar nuevo
EUR 223,42
Gastos de envío:
EUR 2,27
A Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen de archivo
Formal Methods Applied to Complex Systems (Hardcover)
Publicado por
ISTE Ltd and John Wiley & Sons Inc, London, 2014
ISBN 10: 1848217099
ISBN 13: 9781848217096
Nuevo
Tapa dura
Original o primera edición
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: new. Hardcover. This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, 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 formal methods (based on formal techniques such as proof, abstract interpretation and model-checking) in industrial examples of complex systems, based on the experience of people currently involved in the creation and assessment of safety critical system software. The involvement of people from within the industry allows the authors to avoid the usual confidentiality problems which can arise and thus enables them to supply new useful information (photos, architecture plans, real examples, etc.). This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in various fields such as railways, aeronautics, and the automotive industry. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Nº de ref. del artículo: 9781848217096
Comprar nuevo
EUR 225,77
Gastos de envío:
GRATIS
A Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Formal Methods Applied to Complex Systems
Publicado por
ISTE Ltd and John Wiley and Sons Inc, GB, 2014
ISBN 10: 1848217099
ISBN 13: 9781848217096
Nuevo
Tapa dura
Librería: Rarewaves.com UK, London, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardback. Condición: New. This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, 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 "formal methods" (based on formal techniques such as proof, abstract interpretation and model-checking) in industrial examples of complex systems, based on the experience of people currently involved in the creation and assessment of safety critical system software. The involvement of people from within the industry allows the authors to avoid the usual confidentiality problems which can arise and thus enables them to supply new useful information (photos, architecture plans, real examples, etc.). Nº de ref. del artículo: LU-9781848217096
Comprar nuevo
EUR 232,94
Gastos de envío:
EUR 73,64
De Reino Unido a Estados Unidos de America
Cantidad disponible: 8 disponibles
Imagen de archivo
Formal Methods Applied to Industrial Complex Systems:.
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 496. Nº de ref. del artículo: 142503003
Comprar nuevo
EUR 242,14
Gastos de envío:
EUR 7,36
De Reino Unido a Estados Unidos de America
Cantidad disponible: 3 disponibles