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
Carte tipărită la comandă
Livrare economică 09-23 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
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ț: 589.10 lei736.37 lei -
-23%Preț: 684.05 lei888.38 lei -
Specification by ExampleGojko Adzic-20%Preț: 271.00 lei338.74 lei -
Formal Techniques for Distributed Objects, Components, and SystemsMohammad Reza Mousavi-20%Preț: 424.40 lei530.50 lei -
TOOLympics Challenge 2023Dirk Beyer-20%Preț: 316.48 lei395.60 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 -
Formal Methods for Safety and SecurityManju Nanda-18%Preț: 745.12 lei908.69 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.