Formal Methods: Foundations and Applications: Lecture Notes in Computer Science, cartea 14414
Editat de Haniel Barbosa, Yoni Zoharen Limba Engleză Paperback – 2 dec 2023
The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions.
The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation.
Din seria Lecture Notes in Computer Science
- 20%
Preț: 558.53 lei - 20%
Preț: 571.88 lei - 20%
Preț: 675.83 lei - 20%
Preț: 1020.28 lei - 20%
Preț: 620.33 lei - 20%
Preț: 560.93 lei - 20%
Preț: 633.70 lei - 20%
Preț: 678.21 lei - 20%
Preț: 1359.66 lei - 20%
Preț: 560.93 lei - 20%
Preț: 733.68 lei - 20%
Preț: 793.92 lei - 15%
Preț: 558.12 lei - 20%
Preț: 793.92 lei - 20%
Preț: 560.93 lei - 20%
Preț: 748.63 lei - 20%
Preț: 562.49 lei - 20%
Preț: 1246.46 lei - 20%
Preț: 449.81 lei - 20%
Preț: 556.96 lei - 20%
Preț: 562.49 lei - 20%
Preț: 851.78 lei - 20%
Preț: 313.10 lei - 18%
Preț: 945.44 lei - 20%
Preț: 314.86 lei - 20%
Preț: 560.93 lei - 20%
Preț: 313.87 lei - 20%
Preț: 1033.45 lei - 20%
Preț: 563.29 lei - 20%
Preț: 733.68 lei - 20%
Preț: 1137.10 lei - 20%
Preț: 735.28 lei - 20%
Preț: 1079.23 lei - 20%
Preț: 560.11 lei - 20%
Preț: 791.54 lei - 15%
Preț: 672.87 lei - 20%
Preț: 1032.47 lei - 20%
Preț: 617.17 lei - 20%
Preț: 1022.15 lei - 20%
Preț: 984.64 lei - 20%
Preț: 620.33 lei - 20%
Preț: 979.25 lei - 20%
Preț: 402.28 lei - 20%
Preț: 316.28 lei - 20%
Preț: 636.06 lei - 20%
Preț: 320.24 lei - 20%
Preț: 328.94 lei
Preț: 343.26 lei
Preț vechi: 429.07 lei
-20%
Puncte Express: 515
Preț estimativ în valută:
60.69€ • 70.14$ • 52.44£
60.69€ • 70.14$ • 52.44£
Carte tipărită la comandă
Livrare economică 04-18 mai
Specificații
ISBN-13: 9783031493416
ISBN-10: 3031493419
Pagini: 176
Ilustrații: XXII, 153 p. 39 illus., 17 illus. in color.
Dimensiuni: 155 x 235 x 10 mm
Greutate: 0.28 kg
Ediția:1st edition 2024
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
ISBN-10: 3031493419
Pagini: 176
Ilustrații: XXII, 153 p. 39 illus., 17 illus. in color.
Dimensiuni: 155 x 235 x 10 mm
Greutate: 0.28 kg
Ediția:1st edition 2024
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
V-ar putea interesa
-
-20%Preț: 588.91 lei736.14 lei -
-23%Preț: 678.28 lei880.87 lei -
Specification by ExampleGojko Adzic-20%Preț: 266.26 lei332.82 lei -
Formal Techniques for Distributed Objects, Components, and SystemsMohammad Reza Mousavi-20%Preț: 424.40 lei530.50 lei -
TOOLympics Challenge 2023Dirk Beyer-20%Preț: 315.26 lei394.08 lei -
-20%Preț: 391.93 lei489.91 lei -
-20%Preț: 314.86 lei393.57 lei -
-20%Preț: 328.16 lei410.20 lei -
-20%Preț: 326.55 lei408.19 lei -
-20%Preț: 318.67 lei398.33 lei -
-20%Preț: 641.45 lei801.81 lei -
-20%Preț: 322.61 lei403.26 lei -
-20%Preț: 328.16 lei410.20 lei -
-20%Preț: 329.74 lei412.17 lei -
-20%Preț: 324.19 lei405.23 lei -
Formal Methods and Software EngineeringShengchao Qin-20%Preț: 346.16 lei432.71 lei -
-20%Preț: 332.10 lei415.13 lei -
-20%Preț: 326.72 lei408.40 lei -
-20%Preț: 323.41 lei404.26 lei -
-18%Preț: 743.81 lei907.09 lei
Cuprins
Specification and Modeling Languages.- A Formal Model for Startups Financial Transactions.- A Haskell-embedded DSL for Secure Information-flow.- CSP Specification and Verification of a Relay-Based Rail Interlocking System.- ULKB Logic: A HOL-based framework for reasoning over knowledge graphs.- Testing.- Language-based Testing for Pushdown Reactive Systems.- Sound Test Case Generation for Concurrent Mobile Features.- Verification and Validation.- Automated code generation for DES controllers modeled as Finite State Machines.- AutomaTutor: An Educational Mobile App for Teaching Automata Theory.- ESBMC v7.3: Model Checking C++ Programs using Clang.