Hvor mange butikker sælger Critical Systems: Formal Methods and Automated Verification?

0 butikker sælger i øjeblikket Critical Systems: Formal Methods and Automated Verification.

Critical Systems: Formal Methods and Automated Verification

Name: Critical Systems: Formal Methods and Automated Verification
Availability: PreOrder
ISBN: 9783319671123

Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings

Udgivet af Springer International Publishing AG

Bogdetaljer

Hæftet
235 sider
Engelsk

ISBN 9783319671123

Anmeldelser | Skriv en anmeldelse

Om denne bog

Se alle bogdetaljer →

Prissammenligning

Ingen boghandelspriser listet endnu

Denne titel er i vores bogkatalog. Butikstilbud vises her, når de er tilgængelige.

Betroet sælger:

Ingen boghandelstilbud lige nu.

Søg efter ISBN

Opdateret i dag

Boghandelspriser

Sorter efter:

Boghandel	Titel	Format	ISBN	Pris	Lagerstatus	Levering
Ingen boghandelstilbud endnu Vi har titlen i kataloget. Priser vises her, når boghandlere lister den.

0.0

0 anmeldelser

Verificeret

Ingen anmeldelser endnu

Bogdetaljer

Forlag Springer International Publishing AG

Kategori Ekspert - og vidensbaserede systemer

ISBN-13 9783319671123

EAN 9783319671123

Format Hæftet

Sprog Engelsk

sider 235

Undertitel - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings

Produktbeskrivelse

This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017. The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions. They are organized in the following sections: Automated verification techniques; Testing and scheduling; Formal Methods for mobile and autonomous robots; and Modeling and analysis techniques.