Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings: 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ț: 1020.28 lei -
Preț: 395.25 lei - 20%
Preț: 327.36 lei - 20%
Preț: 556.96 lei - 20%
Preț: 400.77 lei - 15%
Preț: 558.12 lei - 20%
Preț: 328.94 lei - 20%
Preț: 340.04 lei - 20%
Preț: 487.46 lei - 20%
Preț: 629.71 lei - 20%
Preț: 386.08 lei - 20%
Preț: 489.11 lei - 20%
Preț: 620.33 lei - 20%
Preț: 733.68 lei - 20%
Preț: 1033.45 lei - 20%
Preț: 782.57 lei - 20%
Preț: 679.09 lei - 20%
Preț: 330.54 lei - 20%
Preț: 1137.10 lei - 20%
Preț: 435.28 lei - 20%
Preț: 375.72 lei - 20%
Preț: 342.61 lei - 20%
Preț: 432.78 lei - 20%
Preț: 904.16 lei - 20%
Preț: 1391.87 lei - 20%
Preț: 373.80 lei - 20%
Preț: 400.17 lei - 20%
Preț: 1359.66 lei - 20%
Preț: 984.64 lei - 20%
Preț: 560.93 lei - 20%
Preț: 731.97 lei - 20%
Preț: 563.29 lei - 20%
Preț: 403.00 lei - 20%
Preț: 793.92 lei - 20%
Preț: 324.19 lei - 20%
Preț: 733.68 lei - 20%
Preț: 336.86 lei - 20%
Preț: 327.36 lei - 20%
Preț: 573.45 lei - 20%
Preț: 558.53 lei - 20%
Preț: 850.42 lei - 20%
Preț: 560.93 lei - 20%
Preț: 560.93 lei - 20%
Preț: 631.96 lei - 20%
Preț: 568.70 lei - 20%
Preț: 488.90 lei - 20%
Preț: 293.24 lei
Preț: 341.38 lei
Preț vechi: 426.73 lei
-20%
Puncte Express: 512
Preț estimativ în valută:
60.35€ • 71.95$ • 52.34£
60.35€ • 71.95$ • 52.34£
Carte tipărită la comandă
Livrare economică 16-30 martie
Specificații
ISBN-13: 9783031493416
ISBN-10: 3031493419
Pagini: 153
Ilustrații: XXII, 153 p. 39 illus., 17 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.25 kg
Ediția:1st ed. 2024
Editura: Springer Nature Switzerland
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
ISBN-10: 3031493419
Pagini: 153
Ilustrații: XXII, 153 p. 39 illus., 17 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.25 kg
Ediția:1st ed. 2024
Editura: Springer Nature Switzerland
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
V-ar putea interesa
-
Principles of Concurrent and Distributed ProgrammingMordechai Ben-Ari-13%Preț: 597.12 lei686.35 lei -
-23%Preț: 677.50 lei879.87 lei -
Specification by ExampleGojko Adzic-20%Preț: 265.45 lei331.80 lei -
Formal Techniques for Distributed Objects, Components, and SystemsMohammad Reza Mousavi-20%Preț: 423.93 lei529.91 lei -
TOOLympics Challenge 2023Dirk Beyer-20%Preț: 315.26 lei394.08 lei -
-20%Preț: 391.50 lei489.37 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 -
-20%Preț: 340.84 lei426.05 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.