Ranma-Book01 Color
Unknown
Pump Six and Other Stories
Paolo Bacigalupi
Property-Based Testing with PropEr, Erlang, and Elixir
Fred Hebert
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
The Decision View's Role in Software Architecture Practice
Philippe Kruchten & Rafael Capilla & Juan Carlos Duenas
IEEE Software (26.02)