Practical TLA+

42.46 incl. VAT

Planning Driven Development

Available on backorder