Practical TLA+: Planning Driven Development by Hillel Wayne (English) Paperback
53,46 €
Learn how to design complex, correct programs and fix problems before writing a single line of code. This book is a practical, comprehensive resource on TLA+ programming with rich, complex examples.
Jetzt bei Ebay:
