Turbo
Filters
Sort
Categories
Formal Methods in Human-Computer Interaction (Softcover Reprint of the Original 1st 1998)
Paperback
AED
292
36
AEDÂ 494.00
40% OFF
Turbo
Free Delivery
27 - 28 Nov
Proof in VDM: Case Studies (Softcover Reprint of the Original 1st 1998)
Paperback
AED
527
12
AEDÂ 1,122.00
53% OFF
Turbo
Free Delivery
26 - 27 Nov
A Theory and Practice of Program Development (Edition.)
By
Derek J Andrews
Paperback
AED
293
48
AEDÂ 734.00
60% OFF
Turbo
Free Delivery
27 - 28 Nov
The B Language and Method: A Guide to Practical Formal Development (Softcover Reprint of the Original 1st 1996)
By
Kevin Lano
Paperback
AED
275
85
AEDÂ 592.00
53% OFF
Turbo
Free Delivery
27 - 28 Nov
On the Refinement Calculus (1992)
Paperback
AED
273
78
AEDÂ 459.00
40% OFF
Turbo
Free Delivery
27 - 28 Nov
Formal Object-Oriented Development (Softcover Reprint of the Original 1st 1995)
By
Kevin Lano
Paperback
AED
293
13
AEDÂ 659.00
55% OFF
Turbo
Free Delivery
27 - 28 Nov
Systems, Models and Measures (Edition.)
By
Agnes Kaposi
,
Margaret Myers
Paperback
AED
290
58
AEDÂ 848.00
65% OFF
Turbo
Free Delivery
27 - 28 Nov
Notations for Software Design (Softcover Reprint of the Original 1st 1994)
By
Loe M G Feijs
,
Hans B M Jonkers
,
Cornelis a Middelburg
Paperback
AED
293
13
AEDÂ 763.00
61% OFF
Turbo
Free Delivery
27 - 28 Nov
Formal Methods and Object Technology (Softcover Reprint of the Original 1st 1996)
Paperback
AED
549
53
AEDÂ 751.00
26% OFF
Turbo
Free Delivery
27 - 28 Nov
Proof in VDM: A Practitioner's Guide (Softcover Reprint of the Original 1st 1994)
By
Juan C Bicarregui
,
John Fitzgerald
,
Peter A Lindsay
,
Richard Moore
,
Brian Ritchie
Paperback
AED
280
42
AEDÂ 575.00
51% OFF
Turbo
Free Delivery
27 - 28 Nov
Program Development by Refinement: Case Studies Using the B Method (1999)
Paperback
AED
1,022
62
AEDÂ 1,433.00
28% OFF
Turbo
Free Delivery
27 - 28 Nov
Industrial-Strength Formal Methods in Practice (1999)
Paperback
AED
709
53
AEDÂ 947.00
25% OFF
Turbo
Free Delivery
26 - 27 Nov
Show More