Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Formal Methods for Industrial Critical Systems

Name: Formal Methods for Industrial Critical Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02081946
Price: 46.99 EUR
Availability: InStock
Author: Michael Dierkes
ISBN: 9783642410093

18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings

Michael Dierkes

Charles Pecheur

Lingua

Inglese

Libro In brossura

Codice Libristo: 02081946

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, settembre 2013

This book constitutes the thoroughly refereed conference proceedings of the 18th International Works... Descrizione completa

Codice Libristo: 02081946

115 b

46.99 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

ANTES, DESDE Y DESPUS DEL CUBISMO MARIA DOLORES JIMENEZ-BLANCO

In brossura

24.39 €

Numret till en vän

In brossura

12.79 €

Erlebnis Chemie 7-9. Schülerband. Für Baden-Württemberg

Rigido

33.69 €

VERSAILLES CONCERT BAND/HARMONIE/FANFARE/ENSEMBLE DE CUIVRES CHRISTIAN BOUTHIER Libro

binding.

18.99 €

Prokletá kaple Robin Stejskal

Libro

4.29 €

Buergerstimme - Journalismus am Puls der Gesellschaft Joachim Sondern

In brossura

25.49 €

Einfach selbst gemacht Ilse Gutjahr

In brossura

12.49 €

Thimigs Arthur Kahane

In brossura

11.59 €

Algorithmische Mathematik Winfried Hochstättler

In brossura

35.49 €

Organisationen in Der Weiterbildung Rainer Zech

In brossura

46.69 €

This book constitutes the thoroughly refereed conference proceedings of the 18th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2013, held in Madrid, Spain, in September 2013. The 13 papers presented were carefully selected from 25 submissions and cover topics such as design, specification, code generation and testing based on formal methods, methods, techniques and tools to support automated analysis, certification, debugging, learning, optimization and transformation of complex, distributed, dependable, real-time systems and embedded systems, verification and validation methods, tools for the development of formal design descriptions, case studies and experience reports on industrial applications of formal methods, impact of the adoption of formal methods on the development process and associated costs, application of formal methods in standardization and industrial forums.