Stock image for illustration purposes only - book cover, edition or condition may vary.
ABZ 2014
. Ed(S): Boniol, Frederic; Wiels, Virginie; Ait Ameur, Yamine; Schewe, Klaus-Dieter
€ 62.74
FREE Delivery in Ireland
Description for ABZ 2014
Paperback. Editor(s): Boniol, Frederic; Wiels, Virginie; Ait Ameur, Yamine; Schewe, Klaus-Dieter. Series: Communications in Computer and Information Science. Num Pages: 173 pages, 47 black & white illustrations, biography. BIC Classification: UGK; UM; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 278.
This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014. The 11 papers presented were carefully reviewed and selected from numerous submissions. They use different formal techniques: B, ASM, Fiacre. They also propose different kinds of verification such as proof, model checking, test generation, run-time monitoring, and simulation.
This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014. The 11 papers presented were carefully reviewed and selected from numerous submissions. They use different formal techniques: B, ASM, Fiacre. They also propose different kinds of verification such as proof, model checking, test generation, run-time monitoring, and simulation.
Product Details
Format
Paperback
Publication date
2014
Publisher
Springer International Publishing AG Switzerland
Number of pages
173
Condition
New
Series
Communications in Computer and Information Science
Number of Pages
161
Place of Publication
Cham, Switzerland
ISBN
9783319075112
SKU
V9783319075112
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for ABZ 2014