Importe total (1 artículo artículos):
Destino del pedido:
9780470876183 - Formal Methods for Industrial Critical Systems: A Survey of Applications de Gnesi (20 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (20)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
- Nuevo (17)
- Como nuevo, Excelente o Muy bueno (3)
- Bueno o Aceptable (No hay ningún otro resultado que coincida con este filtro.)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (No hay ningún otro resultado que coincida con este filtro.)
Encuadernación
- Todas
- Tapa dura (No hay ningún otro resultado que coincida con este filtro.)
- Tapa blanda (20)
Más atributos
- Primera edición (3)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (3)
- No impresión bajo demanda (16)
Idioma (1)
Precio
- Cualquier precio
- Menos de EUR 20 (No hay ningún otro resultado que coincida con este filtro.)
- EUR 20 a EUR 45 (No hay ningún otro resultado que coincida con este filtro.)
- Más de EUR 45
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Formal Methods for Industrial Critical Systems: A Survey of Applications (eng)
Idioma: Inglés
Publicado por Wiley-IEEE Computer Society Pr, 2012
ISBN 10: 0470876182 ISBN 13: 9780470876183
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
Calificación del vendedor: 3 de 5 estrellas
EUR 87,32
Envío por EUR 5,50
Se envía de Italia a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: new.
-
Formal Methods for Industrial Critical Systems : A Survey of Applications
Idioma: Inglés
Publicado por Wiley-IEEE Computer Society Pr, 2012
ISBN 10: 0470876182 ISBN 13: 9780470876183
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 94,35
Envío por EUR 2,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Formal Methods for Industrial Critical Systems
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 99,45
Envío por EUR 4,81
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 15 disponibles
Añadir al carritoPAP. Condición: New. New Book. Shipped from UK. Established seller since 2000.
-
Formal Methods for Industrial Critical Systems : A Survey of Applications
Idioma: Inglés
Publicado por Wiley-IEEE Computer Society Pr, 2012
ISBN 10: 0470876182 ISBN 13: 9780470876183
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 95,70
Envío por EUR 17,35
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Formal Methods for Industrial Critical Systems
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 112,37
Envío por EUR 7,52
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New. pp. 292.
-
Formal Methods for Industrial Critical Systems: A Survey of Applications
Idioma: Inglés
Publicado por Wiley-IEEE Computer Society Pr 2012-11-12, 2012
ISBN 10: 0470876182 ISBN 13: 9780470876183
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 102,97
Envío por EUR 17,92
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New.
-
Formal Methods for Industrial Critical Systems: A Survey of Applications
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 102,92
Envío por EUR 18,55
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback / softback. Condición: New. New copy - Usually dispatched within 4 working days.
-
Formal Methods for Industrial Critical Systems
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 126,26
Envío por EUR 3,43
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New. pp. 292 Index.
-
Formal Methods for Industrial Critical Systems: A Survey of Applications
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 116,50
Envío por EUR 10,50
Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. Num Pages: 292 pages, Illustrations. BIC Classification: TBC; TJ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 17. Weight in Grams: 500. . 2012. 1st Edition. Paperback. . . . .
-
Formal Methods for Industrial Critical Systems A Survey of Applications
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 131,64
Envío por EUR 11,57
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 1st edition. 292 pages. 9.00x6.25x0.75 inches. In Stock.
-
Formal Methods for Industrial Critical Systems
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 100,15
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. STEFANIA GNESI is Director of Research and head of the Formal Methods and Tools Laboratory at ISTI-CNR (Istituto di Scienza e Tecnologie dell Informazione-Consiglio Nazionale delle Ricerche) in Pisa, Italy. She was previously a lecturer in methods and tools.
-
Formal Methods for Industrial Critical Systems: A Survey of Applications
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 144,88
Envío por EUR 9,02
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. Num Pages: 292 pages, Illustrations. BIC Classification: TBC; TJ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 17. Weight in Grams: 500. . 2012. 1st Edition. Paperback. . . . . Books ship from the US and Ireland.
-
Formal Methods for Industrial Critical Systems : A Survey of Applications
Idioma: Inglés
Publicado por Wiley-IEEE Computer Society Pr, 2012
ISBN 10: 0470876182 ISBN 13: 9780470876183
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 178,71
Envío por EUR 17,35
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Formal Methods for Industrial Critical Systems: A Survey of Applications
Idioma: Inglés
Publicado por Wiley-IEEE Computer Society Pr, 2012
ISBN 10: 0470876182 ISBN 13: 9780470876183
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 169,19
Envío por EUR 28,92
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Like New. Like New. book.
-
Formal Methods for Industrial Critical Systems : A Survey of Applications
Idioma: Inglés
Publicado por Wiley-IEEE Computer Society Pr, 2012
ISBN 10: 0470876182 ISBN 13: 9780470876183
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 201,58
Envío por EUR 2,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Formal Methods for Industrial Critical Systems : A Survey of Applications
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 136,62
Envío por EUR 62,25
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Neuware - Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics, together with their associated analysis methods, that allow description and reasoning about the behavior of a system in a formal manner.Growing out of more than a decade of award-winning collaborative work within the European Research Consortium for Informatics and Mathematics, Formal Methods for Industrial Critical Systems: A Survey of Applications presents a number of mainstream formal methods currently used for designing industrial critical systems, with a focus on model checking. The purpose of the book is threefold: to reduce the effort required to learn formal methods, which has been a major drawback for their industrial dissemination; to help designers to adopt the formal methods which are most appropriate for their systems; and to offer a panel of state-of-the-art techniques and tools for analyzing critical systems.
-
Formal Methods for Industrial Critical Systems (Paperback)
Idioma: Inglés
Publicado por John Wiley & Sons Inc, New York, 2013
ISBN 10: 0470876182 ISBN 13: 9780470876183
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición Impresión bajo demanda
EUR 96,69
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics, together with their associated analysis methods, that allow description and reasoning about the behavior of a system in a formal manner. Growing out of more than a decade of award-winning collaborative work within the European Research Consortium for Informatics and Mathematics, Formal Methods for Industrial Critical Systems: A Survey of Applications presents a number of mainstream formal methods currently used for designing industrial critical systems, with a focus on model checking. The purpose of the book is threefold: to reduce the effort required to learn formal methods, which has been a major drawback for their industrial dissemination; to help designers to adopt the formal methods which are most appropriate for their systems; and to offer a panel of state-of-the-art techniques and tools for analyzing critical systems. Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Formal Methods for Industrial Critical Systems A Survey of Applications
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 120,37
Envío por EUR 11,57
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 1st edition. 292 pages. 9.00x6.25x0.75 inches. In Stock. This item is printed on demand.
-
Formal Methods for Industrial Critical Systems: A Survey of Applications
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 143,92
Envío por EUR 18,22
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
-
Formal Methods for Industrial Critical Systems (Paperback)
Idioma: Inglés
Publicado por John Wiley & Sons Inc, New York, 2013
ISBN 10: 0470876182 ISBN 13: 9780470876183
Librería: CitiRetail, Stevenage, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición Impresión bajo demanda
EUR 119,13
Envío por EUR 42,80
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics, together with their associated analysis methods, that allow description and reasoning about the behavior of a system in a formal manner. Growing out of more than a decade of award-winning collaborative work within the European Research Consortium for Informatics and Mathematics, Formal Methods for Industrial Critical Systems: A Survey of Applications presents a number of mainstream formal methods currently used for designing industrial critical systems, with a focus on model checking. The purpose of the book is threefold: to reduce the effort required to learn formal methods, which has been a major drawback for their industrial dissemination; to help designers to adopt the formal methods which are most appropriate for their systems; and to offer a panel of state-of-the-art techniques and tools for analyzing critical systems. Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
