Building and Testing with Gradle
This book has a very clear aim: introduce you to the incredible simplicity and power
of Gradle.
Gradle is a flexible yet model-driven JVM-based build tool. Gradle acknowledges and
improves on the very best ideas from Make, Ant, Ivy, Maven, Rake, Gant, Scons, SBT,
Leinengen, and Buildr. The best-of-breed features previously... | | Devices of the Soul: Battling for Our Selves in an Age of Machines"Self-forgetfulness is the reigning temptation of the technological era. This is why we so readily give our assent to the absurd proposition that a computer can add two plus two, despite the obvious fact that it can do nothing of the sort--not if we have in mind anything remotely resembling what we do when we add numbers. In the computer's... | | Reactive Systems: Modelling, Specification and VerificationFormal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated into software tools. An important subclass is distributed systems. There are many books that look at particular methodologies for such systems, e.g. CSP,... |