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...
Counter-Narratives - History…
M. Al-Rasheed, R. Vitalis Hardcover R1,313 R1,092 Discovery Miles 10 920
Basic mathematics for economics students…
Derek Yu Paperback R383 Discovery Miles 3 830
Planner 2021 Vertical Weekly - Planner…
Pilvi Paper Hardcover R625 Discovery Miles 6 250
Biostatistics & Research Methodology
G Nageswara Rao Hardcover R1,888 R1,618 Discovery Miles 16 180
Matching, Regression Discontinuity…
Myoung-Jae Lee Hardcover R3,982 Discovery Miles 39 820
How Long Will South Africa Survive…
R.W. Johnson Paperback R354 Discovery Miles 3 540
A History Of South Africa - From The…
Fransjohan Pretorius Paperback R765 Discovery Miles 7 650
WTF - Capturing Zuma: A Cartoonist's…
Zapiro Paperback R295 R272 Discovery Miles 2 720
Spy - Uncovering Craig Williamson
Jonathan Ancer Paperback  (6)
R280 R259 Discovery Miles 2 590
ANOVA and Mixed Models - A Short…
Lukas Meier Paperback R1,728 Discovery Miles 17 280

 

Partners