Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings - Lecture Notes in Computer Science - Maurice H. Ter Beek-Rosemary Monahan - Grāmatas - Springer International Publishing AG - 9783031077265 - 2022. gada 1. jūnijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Maurice H. Ter Beek-Rosemary Monahan
Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings - Lecture Notes in Computer Science 1st ed. 2022 edition

Cena
€ 78,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 12. - 20. nov.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem Maurice H. Ter Beek-Rosemary Monahan izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022. The 14 full papers and 2 short papers were carefully reviewed and selected from 46 submissions.

373 pages, 48 Illustrations, color; 72 Illustrations, black and white; XV, 373 p. 120 illus., 48 ill

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2022. gada 1. jūnijs
ISBN13 9783031077265
Izdevēji Springer International Publishing AG
Lapas 373
Izmēri 156 × 233 × 23 mm   ·   590 g
Valoda Vācu  
Redaktors Monahan, Rosemary
Redaktors Ter Beek, Maurice H.

Vairāk no tā paša izdevēja

Skatīt visus Maurice H. Ter Beek-Rosemary Monahan