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...
Auditing Notes For South African…
A. Adams, T. Diale, … Paperback  (5)
R618 Discovery Miles 6 180
Dynamic Auditing - A Student Edition
B. Marx, A. van der Watt, … Paperback R1,384 R1,165 Discovery Miles 11 650
Health Taxes: Policy And Practice
Angeli Vigo, Jeremy A Lauer, … Hardcover R4,102 Discovery Miles 41 020
The Entrepreneurship Concept in a…
Rene Offermanns Hardcover R8,151 Discovery Miles 81 510
Taxation Of Individuals Simplified 2025
K.L. de Hart, E.H. Hamel, … Paperback R1,002 R929 Discovery Miles 9 290
Federal Tax Treat Income
Stephen L McDonald Hardcover R2,203 Discovery Miles 22 030
Tax Law: An Introduction
Annet Wanyana Oguttu, Elzette Muller, … Paperback R1,337 Discovery Miles 13 370
Monetary Policy, Taxation, and…
Victor A. Canto, Arthur Laffer Hardcover R2,826 Discovery Miles 28 260
Information Technology and Innovation in…
Glenn P. Jenkins Hardcover R5,341 Discovery Miles 53 410
Taxation and Economic Behaviour…
John Creedy Hardcover R3,975 Discovery Miles 39 750

 

Partners