Atjaunināt sīkdatņu piekrišanu

Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 610, 2021, Proceedings 1st ed. 2021 [Mīkstie vāki]

Edited by , Edited by
  • Formāts: Paperback / softback, 141 pages, height x width: 235x155 mm, weight: 244 g, 16 Illustrations, color; 24 Illustrations, black and white; IX, 141 p. 40 illus., 16 illus. in color., 1 Paperback / softback
  • Sērija : Programming and Software Engineering 13130
  • Izdošanas datums: 26-Nov-2021
  • Izdevniecība: Springer Nature Switzerland AG
  • ISBN-10: 3030921360
  • ISBN-13: 9783030921361
Citas grāmatas par šo tēmu:
  • Mīkstie vāki
  • Cena: 51,37 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Standarta cena: 60,44 €
  • 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
Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 610, 2021, Proceedings 1st ed. 2021Palielināt
  • Formāts: Paperback / softback, 141 pages, height x width: 235x155 mm, weight: 244 g, 16 Illustrations, color; 24 Illustrations, black and white; IX, 141 p. 40 illus., 16 illus. in color., 1 Paperback / softback
  • Sērija : Programming and Software Engineering 13130
  • Izdošanas datums: 26-Nov-2021
  • Izdevniecība: Springer Nature Switzerland AG
  • ISBN-10: 3030921360
  • ISBN-13: 9783030921361
Citas grāmatas par šo tēmu:
Permanent link: https://www.kriso.lv/db/9783030921361.html
Keywords:
This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021. Due to COVID 19-pandemic it took place virtually.
The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The papers detail the development, dissemination, and use of formal methods for the construction of high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area