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...
ZA Cute Puppy Love Paw Set (Necklace…
R712 R499 Discovery Miles 4 990
Skin We Are In - A Celebration Of The…
Sindiwe Magona, Nina G. Jablonski Paperback R370 Discovery Miles 3 700
The Accidental Mayor - Herman Mashaba…
Michael Beaumont Paperback  (5)
R270 R154 Discovery Miles 1 540
Wildfire - The Three Realms: Book 1
Keira Winter Paperback R343 Discovery Miles 3 430
Kirstenbosch - A Visitor's Guide
Colin Paterson-Jones, John Winter Paperback R160 R148 Discovery Miles 1 480
Feuds and State Formation, 1550-1700…
Osvaldo Raggio Hardcover R2,870 Discovery Miles 28 700
Essential Topics in Rhinosinusitis
Donald Murphy Hardcover R1,924 R1,771 Discovery Miles 17 710
Making Peasants Backward - Agricultural…
Y. Kotsonis Hardcover R2,877 Discovery Miles 28 770
Anesthesia in Otolaryngology ,An Issue…
Adam I. Levine, Samuel DeMaria Jr, … Hardcover R2,546 Discovery Miles 25 460
The Dirty Rotten Robber
Megan N Furnell Hardcover R528 Discovery Miles 5 280

 

Partners