Cantitate/Preț
Produs
Total produse
Vezi coșul
Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings de Márcio Cornélio

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 Roscoe
en Limba Engleză Paperback – 3 feb 2016
This book constitutes revised selected papers from the18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in BeloHorizonte, Brazil, in September 2015.
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.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 26124 lei

Preț vechi: 32655 lei
-20% Nou

Puncte Express: 392
Preț estimativ în valută:
4622€ • 5393$ • 4041£

Carte tipărită la comandă

Livrare economică 16-30 ianuarie 26

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
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

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