Atjaunināt sīkdatņu piekrišanu

Critical Systems: Formal Methods and Automated Verification: 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 1820, 2017, Proceedings 1st ed. 2017 [Mīkstie vāki]

Edited by , Edited by , Edited by
  • Formāts: Paperback / softback, 235 pages, height x width: 235x155 mm, weight: 3869 g, 52 Illustrations, black and white; XIV, 235 p. 52 illus., 1 Paperback / softback
  • Sērija : Programming and Software Engineering 10471
  • Izdošanas datums: 25-Aug-2017
  • Izdevniecība: Springer International Publishing AG
  • ISBN-10: 331967112X
  • ISBN-13: 9783319671123
Citas grāmatas par šo tēmu:
  • Mīkstie vāki
  • Cena: 46,91 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Standarta cena: 55,19 €
  • Ietaupiet 15%
  • Grāmatu piegādes laiks ir 3-4 nedēļas, ja grāmata ir uz vietas izdevniecības noliktavā. Ja izdevējam nepieciešams publicēt jaunu tirāžu, grāmatas piegāde var aizkavēties.
  • Daudzums:
  • Ielikt grozā
  • Piegādes laiks - 4-6 nedēļas
  • Pievienot vēlmju sarakstam
Critical Systems: Formal Methods and Automated Verification: 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 1820, 2017, Proceedings 1st ed. 2017Palielināt
  • Formāts: Paperback / softback, 235 pages, height x width: 235x155 mm, weight: 3869 g, 52 Illustrations, black and white; XIV, 235 p. 52 illus., 1 Paperback / softback
  • Sērija : Programming and Software Engineering 10471
  • Izdošanas datums: 25-Aug-2017
  • Izdevniecība: Springer International Publishing AG
  • ISBN-10: 331967112X
  • ISBN-13: 9783319671123
Citas grāmatas par šo tēmu:
Permanent link: https://www.kriso.lv/db/9783319671123.html
Keywords:

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.

Automated verification techniques.- Testing and scheduling.- Formal Methods for mobile and autonomous robots.- Modeling and analysis techniques.