Practical Tla+: Design-Driven Programming

Publisher: Apress

Type: Physical Book

Language: English

Pages: 220

Information: 1st ed., First Edition

Release Date: 2018-10-12

ISBN 10: 1484238281

ISBN 13: 9781484238288

Country: United States of America