Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings - Lecture Notes in Computer Science - - Grāmatas - Springer Nature Switzerland AG - 9783030775421 - 2021. gada 23. maijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings - Lecture Notes in Computer Science 1st ed. 2021 edition

Saņemt e-pastu, kad prece būs pieejama
Do you have a profile? Pierakstīties

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 proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.

167 pages, 33 Illustrations, color; 8 Illustrations, black and white; X, 167 p. 41 illus., 33 illus.

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2021. gada 23. maijs
ISBN13 9783030775421
Izdevēji Springer Nature Switzerland AG
Lapas 167
Izmēri 150 × 220 × 10 mm   ·   454 g
Valoda Vācu  
Redaktors Mery, Dominique
Redaktors Raschke, Alexander

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