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ț: 323.37 lei - 20%
Preț: 461.65 lei - 20%
Preț: 461.32 lei - 20%
Preț: 390.69 lei - 20%
Preț: 527.36 lei - 15%
Preț: 388.50 lei - 20%
Preț: 461.52 lei - 20%
Preț: 390.35 lei - 20%
Preț: 496.64 lei - 20%
Preț: 461.52 lei - 20%
Preț: 389.72 lei - 15%
Preț: 461.85 lei - 20%
Preț: 389.90 lei - 20%
Preț: 497.04 lei - 20%
Preț: 462.05 lei - 20%
Preț: 252.15 lei - 20%
Preț: 391.14 lei - 20%
Preț: 532.54 lei - 20%
Preț: 461.83 lei - 20%
Preț: 255.91 lei - 20%
Preț: 498.46 lei - 20%
Preț: 497.55 lei - 20%
Preț: 499.36 lei - 20%
Preț: 390.12 lei - 20%
Preț: 391.20 lei - 20%
Preț: 532.41 lei - 20%
Preț: 391.20 lei - 20%
Preț: 391.14 lei - 20%
Preț: 461.77 lei - 20%
Preț: 390.35 lei - 20%
Preț: 461.06 lei - 20%
Preț: 461.65 lei - 20%
Preț: 390.18 lei - 20%
Preț: 392.64 lei - 20%
Preț: 390.94 lei - 20%
Preț: 391.86 lei - 20%
Preț: 389.85 lei - 20%
Preț: 498.32 lei - 20%
Preț: 462.67 lei - 20%
Preț: 460.98 lei - 20%
Preț: 424.26 lei - 20%
Preț: 639.72 lei - 15%
Preț: 535.92 lei - 20%
Preț: 532.28 lei - 20%
Preț: 535.77 lei - 5%
Preț: 516.27 lei - 20%
Preț: 461.57 lei - 20%
Preț: 498.50 lei - 20%
Preț: 461.83 lei - 20%
Preț: 249.95 lei
Preț: 261.24 lei
Preț vechi: 326.55 lei
-20% Nou
Puncte Express: 392
Preț estimativ în valută:
46.23€ • 54.21$ • 40.60£
46.23€ • 54.21$ • 40.60£
Carte tipărită la comandă
Livrare economică 06-20 februarie 26
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
-
Simple Statistical Methods for Software Engineering: Data and PatternsC. Ravindranath Pandian-32%Preț: 705.04 lei1032.98 lei -
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.60 lei257.79 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.80 lei374.75 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