Formal Methods: Foundations and Applications: 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ț: 733.68 lei - 20%
Preț: 1032.47 lei - 20%
Preț: 1246.46 lei - 20%
Preț: 1020.28 lei - 20%
Preț: 449.81 lei - 20%
Preț: 1137.10 lei - 20%
Preț: 850.42 lei - 20%
Preț: 386.08 lei - 20%
Preț: 1022.15 lei - 20%
Preț: 620.33 lei - 20%
Preț: 620.33 lei - 20%
Preț: 1033.45 lei - 20%
Preț: 558.53 lei - 20%
Preț: 435.28 lei - 20%
Preț: 748.63 lei - 20%
Preț: 633.70 lei - 20%
Preț: 617.17 lei - 20%
Preț: 1359.66 lei - 20%
Preț: 675.83 lei - 20%
Preț: 678.21 lei - 20%
Preț: 562.49 lei - 20%
Preț: 851.78 lei - 20%
Preț: 560.93 lei - 20%
Preț: 556.96 lei - 20%
Preț: 313.10 lei - 20%
Preț: 560.93 lei - 20%
Preț: 733.68 lei - 15%
Preț: 558.12 lei - 20%
Preț: 563.29 lei - 20%
Preț: 793.92 lei - 20%
Preț: 560.93 lei - 20%
Preț: 560.93 lei - 20%
Preț: 735.28 lei - 20%
Preț: 1079.23 lei - 20%
Preț: 560.11 lei - 20%
Preț: 791.54 lei - 20%
Preț: 562.49 lei - 15%
Preț: 672.87 lei - 20%
Preț: 571.88 lei - 20%
Preț: 478.59 lei - 20%
Preț: 984.64 lei - 20%
Preț: 320.24 lei - 20%
Preț: 328.94 lei - 20%
Preț: 313.87 lei - 20%
Preț: 314.86 lei - 20%
Preț: 793.92 lei - 18%
Preț: 945.44 lei
Preț: 262.98 lei
Preț vechi: 328.73 lei
-20%
Puncte Express: 394
Preț estimativ în valută:
46.50€ • 53.33$ • 40.19£
46.50€ • 53.33$ • 40.19£
Carte tipărită la comandă
Livrare economică 27 aprilie-11 mai
Specificații
ISBN-13: 9783319294728
ISBN-10: 3319294725
Pagini: 216
Ilustrații: XVIII, 195 p. 62 illus. in color.
Dimensiuni: 155 x 235 x 12 mm
Greutate: 0.34 kg
Ediția:1st edition 2016
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
ISBN-10: 3319294725
Pagini: 216
Ilustrații: XVIII, 195 p. 62 illus. in color.
Dimensiuni: 155 x 235 x 12 mm
Greutate: 0.34 kg
Ediția:1st edition 2016
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science
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ț: 158.18 lei257.73 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ț: 318.48 lei398.10 lei -
Formal Methods for Multicore ProgrammingMarco Bernardo-20%Preț: 318.06 lei397.57 lei -
FM 2015: Formal MethodsNikolaj Bjørner-20%Preț: 338.95 lei423.69 lei -
Coordination Models and LanguagesTom Holvoet-20%Preț: 320.32 lei400.41 lei -
Modelling Foundations and ApplicationsGabriele Taentzer-20%Preț: 262.98 lei328.73 lei -
Tests and ProofsJasmin Christian Blanchette-20%Preț: 318.69 lei398.37 lei -
Software Engineering for Resilient SystemsAlessandro Fantechi-20%Preț: 259.94 lei324.93 lei -
Advanced Parallel Processing TechnologiesYunji Chen-20%Preț: 258.51 lei323.13 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 SearchSvetlana Stepanenko-20%Preț: 528.07 lei660.08 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