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ț: 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ț: 262.98 lei
Preț vechi: 328.73 lei
-20%
Puncte Express: 394
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: 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ț: 317.93 lei397.40 lei -
Agile Performance ImprovementRobert Winter-20%Preț: 347.82 lei434.78 lei -
Programming Microsoft Dynamics(TM) NAV 2015David StudebakerPreț: 429.67 lei -
Requirements Engineering FundamentalsChris Rupp-39%Preț: 163.06 lei266.16 lei -
Green in Software EngineeringCoral Calero-20%Preț: 686.91 lei858.64 lei -
Validation of Evolving SoftwareHana Chockler-20%Preț: 324.30 lei405.37 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 -
Perspectives on the Future of Software EngineeringJürgen Münch-20%Preț: 623.25 lei779.06 lei -
The Correctness-by-Construction Approach to ProgrammingDerrick G. Kourie-20%Preț: 623.35 lei779.19 lei -
Softwareentwicklung in CKlaus Schmaranz-20%Preț: 303.76 lei379.71 lei -
Softwareentwicklung in C++Klaus Schmaranz-20%Preț: 306.20 lei382.75 lei -
Kontrollierte Experimente in der SoftwaretechnikLutz Prechelt-20%Preț: 312.22 lei390.28 lei -
Model-Integrating Software ComponentsMahdi Derakhshanmanesh-20%Preț: 322.51 lei403.14 lei -
-20%Preț: 577.53 lei721.91 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.