0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (1)
  • R2,500 - R5,000 (1)
  • -
Status
Brand

Showing 1 - 2 of 2 matches in All Departments

Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, ... Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings (Paperback, 2014 ed.)
Stephan Merz, Jun Pang
R2,847 Discovery Miles 28 470 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.

Dependable Software Engineering. Theories, Tools, and Applications - 6th International Symposium, SETTA 2020, Guangzhou, China,... Dependable Software Engineering. Theories, Tools, and Applications - 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings (Paperback, 1st ed. 2020)
Jun Pang, Li Jun Zhang
R1,521 Discovery Miles 15 210 Ships in 10 - 15 working days

This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, held in Guangzhou, China, in November 2020. The 10 full and 1 short paper included in this volume were carefully reviewed and selected from 20 submissions. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
David Walliams Annual 2025 - With…
David Walliams Hardcover R295 R264 Discovery Miles 2 640
The Baseball Mysteries - Challenging…
Jerry Butters, Jim Henle Hardcover R2,576 Discovery Miles 25 760
Bloed, Dunner as Water - Suid-Afrika se…
Charne Kemp Paperback R350 R328 Discovery Miles 3 280
Infinity, Computability and…
Stefan Geschke, Benedikt Loewe, … Hardcover R823 Discovery Miles 8 230
Cooking with Kim Bagley - A South…
Kim Bagley Paperback R390 R339 Discovery Miles 3 390
View from the Mountaintop: A Journey…
Lee Ann Fagan Dzelzkalns Paperback R380 R357 Discovery Miles 3 570
The 5 AM Club - Own Your Morning…
Robin Sharma Paperback  (5)
R390 R348 Discovery Miles 3 480
Home Body
Rupi Kaur Paperback  (1)
R380 R339 Discovery Miles 3 390
Cosmic Crossroad Countdown - The Fig…
Peter Hofmann Paperback R346 R324 Discovery Miles 3 240
The Arminian Magazine - Consisting of…
John Wesley Paperback R827 Discovery Miles 8 270

 

Partners