Formal Methods Teaching: Lecture Notes in Computer Science
Editat de Catherine Dubois, Pierluigi San Pietroen Limba Engleză Paperback – 21 feb 2023
The 7 full papers presented in this volume were carefully reviewed and selected from 10 submissions. FMTea 2023 aim is to support a worldwide improvement in learning Formal Methods, mainly by teaching but also via self-learning.
Din seria Lecture Notes in Computer Science
- 20%
Preț: 1020.28 lei - 20%
Preț: 629.71 lei -
Preț: 395.25 lei - 20%
Preț: 1359.66 lei - 20%
Preț: 342.61 lei - 20%
Preț: 327.36 lei - 20%
Preț: 336.86 lei - 20%
Preț: 487.46 lei - 20%
Preț: 324.19 lei - 20%
Preț: 432.78 lei - 20%
Preț: 293.24 lei - 20%
Preț: 984.64 lei - 20%
Preț: 620.33 lei - 20%
Preț: 850.42 lei - 20%
Preț: 328.94 lei - 20%
Preț: 573.45 lei - 20%
Preț: 1033.45 lei - 20%
Preț: 679.09 lei - 20%
Preț: 373.16 lei - 20%
Preț: 782.57 lei - 20%
Preț: 434.17 lei - 20%
Preț: 489.11 lei - 20%
Preț: 904.16 lei - 20%
Preț: 375.72 lei - 20%
Preț: 400.17 lei - 20%
Preț: 631.96 lei - 20%
Preț: 373.80 lei - 20%
Preț: 556.96 lei - 20%
Preț: 731.97 lei - 20%
Preț: 560.93 lei - 20%
Preț: 733.68 lei - 15%
Preț: 558.12 lei - 20%
Preț: 400.77 lei - 20%
Preț: 488.90 lei - 20%
Preț: 340.04 lei - 20%
Preț: 403.00 lei - 20%
Preț: 327.36 lei - 20%
Preț: 330.54 lei - 20%
Preț: 568.70 lei - 20%
Preț: 563.29 lei - 20%
Preț: 315.62 lei - 20%
Preț: 355.27 lei - 20%
Preț: 733.68 lei - 20%
Preț: 793.92 lei - 20%
Preț: 1391.87 lei - 20%
Preț: 519.32 lei
Preț: 396.01 lei
Puncte Express: 594
Preț estimativ în valută:
70.03€ • 82.18$ • 60.74£
70.03€ • 82.18$ • 60.74£
Carte tipărită la comandă
Livrare economică 09-23 martie
Specificații
ISBN-13: 9783031275333
ISBN-10: 3031275330
Pagini: 116
Ilustrații: IX, 105 p. 69 illus., 20 illus. in color.
Dimensiuni: 155 x 235 x 7 mm
Greutate: 0.19 kg
Ediția:1st edition 2023
Editura: Springer
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
ISBN-10: 3031275330
Pagini: 116
Ilustrații: IX, 105 p. 69 illus., 20 illus. in color.
Dimensiuni: 155 x 235 x 7 mm
Greutate: 0.19 kg
Ediția:1st edition 2023
Editura: Springer
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
Cuprins
Automated Exercise Generation for Satisfiability Checking.- Graphical Loop Invariant Based Programming.- A Gentle Introduction to Verification of Parameterized Reactive Systems.- Model Checking Concurrent Programs for Autograding in pseuCo Book.- Teaching TLA+ to Engineers at Microsoft.- Teaching and Training in Formalisation with B.- Teaching low-code Formal Methods with Coloured Petri Nets.