0
Your cart

Your cart is empty

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

Showing 1 - 2 of 2 matches in All Departments

Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4–6, 2023,... Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4–6, 2023, Proceedings (1st ed. 2023)
Cristina David, Meng Sun
R2,283 Discovery Miles 22 830 Ships in 10 - 15 working days

This book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 4–6, 2023. The 19 full papers and 2 short papers included in this book were carefully reviewed and selected from 49 submissions. They cover the following areas: distributed and concurrent systems; cyber-physical systems; embedded and real-time systems; object-oriented systems; quantum computing; formal verification and program semantics; static analysis; formal methods; verification and testing for AI systems; and AI for formal methods.

Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast,... Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings (Paperback, 1st ed. 2018)
Jing Sun, Meng Sun
R1,580 Discovery Miles 15 800 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions. The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Advanced Introduction to Elections and…
Ian McAllister Paperback R651 Discovery Miles 6 510
Tibetan Buddhism and Mystical Experience
Yaroslav Komarovski Hardcover R3,790 Discovery Miles 37 900
The Book of Killer Plants - A Field…
Kit Carlson Paperback R438 R414 Discovery Miles 4 140
Rational Cosmology
Laurens Perseus Hickok Paperback R603 Discovery Miles 6 030
Guinness World Records 2025
Hardcover R199 R181 Discovery Miles 1 810
Ronald Rolheiser - Essential Writings
Ronald Rohlheiser Paperback R546 R506 Discovery Miles 5 060
Handbook of Process Integration (PI…
Jiri J. Klemes Paperback R8,400 Discovery Miles 84 000
A New Humanity Is Rising
The Aquarian Team Paperback R399 R374 Discovery Miles 3 740
Algal Green Chemistry - Recent Progress…
Rajesh Prasad Rastogi, Datta Madamwar, … Hardcover R4,594 Discovery Miles 45 940
The Scots Worthies - Containing a Brief…
John Howie Paperback R789 Discovery Miles 7 890

 

Partners