4 Ergebnisse.

Keine Beschreibung.

Keine Beschreibung.

The formally defined programming language SPARK provides a means to guarantee that a computer program has no errors. This makes it a natural system for designing safety- and security-critical applications. This first introduction to SPARK 2014 will allow students and developers to master the basic concepts for building systems with SPARK.

New insights into the senior command levels of the United States fighting elite. Stories include accounts of men in battles from World War II. This book fills a void in the literature of Marine Corps leadership. Supplying the biographies of the first eleven men to hold the proud title of Sergeant Major of the Marine Corps, Uncommon Men offers new insights into the senior command levels of the United States' fighting elite. This book portrays n...