Atjaunināt sīkdatņu piekrišanu

Integrated Formal Methods: 18th International Conference, IFM 2023, Leiden, The Netherlands, November 1315, 2023, Proceedings 2024 ed. [Mīkstie vāki]

Edited by , Edited by
  • Formāts: Paperback / softback, 400 pages, height x width: 235x155 mm, weight: 640 g, 67 Illustrations, color; 55 Illustrations, black and white; XIX, 400 p. 122 illus., 67 illus. in color., 1 Paperback / softback
  • Sērija : Lecture Notes in Computer Science 14300
  • Izdošanas datums: 11-Nov-2023
  • Izdevniecība: Springer International Publishing AG
  • ISBN-10: 3031477049
  • ISBN-13: 9783031477041
Citas grāmatas par šo tēmu:
  • Mīkstie vāki
  • Cena: 109,38 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Standarta cena: 128,69 €
  • 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
Integrated Formal Methods: 18th International Conference, IFM 2023, Leiden, The Netherlands, November 1315, 2023, Proceedings 2024 ed.Palielināt
  • Formāts: Paperback / softback, 400 pages, height x width: 235x155 mm, weight: 640 g, 67 Illustrations, color; 55 Illustrations, black and white; XIX, 400 p. 122 illus., 67 illus. in color., 1 Paperback / softback
  • Sērija : Lecture Notes in Computer Science 14300
  • Izdošanas datums: 11-Nov-2023
  • Izdevniecība: Springer International Publishing AG
  • ISBN-10: 3031477049
  • ISBN-13: 9783031477041
Citas grāmatas par šo tēmu:
Permanent link: https://www.kriso.lv/db/9783031477041.html
Keywords:

This volume LNCS 14300 constitutes the refereed proceedings of the 18th International Conference, IFM 2023, in November 2023, held in Leiden, The Netherlands.  

The 16 full papers presented together with 2 short papers were carefully reviewed and selected from 51 submissions. The conference focuses on all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support, and the use of such techniques in software engineering practice.