Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings: Lecture Notes in Computer Science, cartea 9526
Editat de Márcio Cornélio, Bill Roscoeen Limba Engleză Paperback – 3 feb 2016
The 11 papers presented in this volume were carefullyreviewed and selected from 25 submissions. They were organized in topicalsections named: model checking; languages and semantics; refinement andverification; testing and evaluation.
Din seria Lecture Notes in Computer Science
- 20%
Preț: 400.77 lei - 20%
Preț: 754.11 lei - 20%
Preț: 324.19 lei - 20%
Preț: 373.80 lei - 20%
Preț: 342.61 lei - 20%
Preț: 403.00 lei - 20%
Preț: 573.45 lei -
Preț: 395.25 lei - 20%
Preț: 487.46 lei - 20%
Preț: 355.27 lei - 20%
Preț: 731.97 lei - 20%
Preț: 293.24 lei - 20%
Preț: 669.21 lei - 20%
Preț: 984.64 lei - 20%
Preț: 620.33 lei - 20%
Preț: 336.86 lei - 20%
Preț: 330.54 lei - 20%
Preț: 313.87 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ț: 432.78 lei - 20%
Preț: 631.96 lei - 20%
Preț: 432.11 lei - 20%
Preț: 1359.66 lei - 20%
Preț: 556.96 lei - 20%
Preț: 488.90 lei - 20%
Preț: 560.93 lei - 20%
Preț: 327.36 lei - 20%
Preț: 340.04 lei - 20%
Preț: 327.36 lei - 20%
Preț: 328.94 lei - 20%
Preț: 629.71 lei - 20%
Preț: 568.70 lei - 20%
Preț: 447.31 lei - 20%
Preț: 733.68 lei - 20%
Preț: 315.26 lei - 20%
Preț: 315.62 lei - 20%
Preț: 1020.28 lei - 20%
Preț: 850.42 lei - 20%
Preț: 1391.87 lei - 20%
Preț: 519.32 lei
Preț: 261.24 lei
Preț vechi: 326.55 lei
-20%
Puncte Express: 392
Preț estimativ în valută:
46.24€ • 53.91$ • 40.06£
46.24€ • 53.91$ • 40.06£
Carte tipărită la comandă
Livrare economică 27 februarie-13 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783319294728
ISBN-10: 3319294725
Pagini: 195
Ilustrații: XVIII, 195 p. 62 illus. in color.
Dimensiuni: 155 x 235 x 12 mm
Greutate: 0.31 kg
Ediția:1st ed. 2016
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering
Locul publicării:Cham, Switzerland
ISBN-10: 3319294725
Pagini: 195
Ilustrații: XVIII, 195 p. 62 illus. in color.
Dimensiuni: 155 x 235 x 12 mm
Greutate: 0.31 kg
Ediția:1st ed. 2016
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering
Locul publicării:Cham, Switzerland
V-ar putea interesa
-
Fundamentals of Operating SystemsA. LISTER-20%Preț: 315.80 lei394.74 lei -
-20%Preț: 345.51 lei431.89 lei -
Programming Microsoft Dynamics Nav 2015Christopher Studebaker-20%Preț: 363.28 lei454.10 lei -
Requirements Engineering FundamentalsKlaus Pohl-39%Preț: 157.44 lei257.60 lei -
Green in Software EngineeringCoral Calero-20%Preț: 683.46 lei854.32 lei -
Validation of Evolving SoftwareHana Chockler-20%Preț: 322.61 lei403.26 lei -
-20%Preț: 317.50 lei396.88 lei -
Formal Methods for Multicore ProgrammingMarco Bernardo-20%Preț: 317.08 lei396.35 lei -
FM 2015: Formal MethodsNikolaj Bjørner-20%Preț: 337.91 lei422.39 lei -
-20%Preț: 318.17 lei397.71 lei -
-20%Preț: 261.24 lei326.55 lei -
-20%Preț: 316.73 lei395.91 lei -
-20%Preț: 258.41 lei323.01 lei -
-20%Preț: 257.15 lei321.44 lei -
-20%Preț: 585.31 lei731.65 lei -
-20%Preț: 339.82 lei424.76 lei -
Integrierte Qualitätssicherung in flexiblen FertigungszellenRobert Kahlenberg-20%Preț: 340.13 lei425.16 lei -
-20%Preț: 339.64 lei424.55 lei -
-20%Preț: 394.28 lei492.85 lei -
-20%Preț: 619.22 lei774.03 lei -
The Correctness-by-Construction Approach to ProgrammingDerrick G. Kourie-20%Preț: 619.76 lei774.69 lei -
Softwareentwicklung in C: Mit 14 Abbildungen und CD-ROMKlaus Schmaranz-20%Preț: 298.58 lei373.23 lei -
Softwareentwicklung in C++Klaus Schmaranz-20%Preț: 306.20 lei382.75 lei -
-20%Preț: 299.57 lei374.46 lei -
Model-Integrating Software Components: Engineering Flexible Software SystemsMahdi Derakhshanmanesh-20%Preț: 321.49 lei401.86 lei -
-20%Preț: 574.57 lei718.21 lei -
Global Optimization Methods Based on Tabu Search: Insights from Cern PhysicistsSvetlana Stepanenko-20%Preț: 528.76 lei660.95 lei
Cuprins
Model Checking.- Hard-wiring CSP Hiding:Implementing Channel Abstraction to Generate Verified Concurrent Hardware.-Instantiation Reduction in Iterative Parameterised Three-Valued ModelChecking.- Languages and Semantics.- Mobile CSP.- Evaluating the Assignment ofBehavioral Goals to Coalitions of Agents.- Towards Reasoning in Dynamic Logicswith Rewriting Logic: the Petri-PDL Case.- Refinement and Verification.-Refinement strategies for Safety-Critical Java.- Verifying Transformations ofJava programs using Alloy.-A Mechanized Textbook Proof of a Type UnificationAlgorithm.- Testing and Evaluation.- Automatic generation of test cases andtest purposes from natural language.- Time Performance Formal Evaluation ofComplex Systems.- Test Case Generation from Natural Language Requirements usingCPN Simulation.
Caracteristici
Includes supplementary material: sn.pub/extras