Bruce W. Watson – författare
2 019 kr
Skickas inom 10-15 vardagar
631 kr
Skickas inom 10-15 vardagar
2 158 kr
Skickas inom 10-15 vardagar
2 158 kr
Skickas inom 10-15 vardagar
2 158 kr
Skickas inom 10-15 vardagar
2 079 kr
Skickas inom 10-15 vardagar
2 079 kr
Skickas inom 10-15 vardagar
631 kr
Skickas inom 10-15 vardagar
631 kr
Skickas inom 10-15 vardagar
534 kr
Skickas inom 10-15 vardagar
607 kr
Skickas inom 10-15 vardagar
607 kr
Skickas inom 10-15 vardagar
730 kr
Läs direkt efter köp
730 kr
Läs direkt efter köp
284 kr
Läs direkt efter köp
The efforts of the Soviet Union since the mid-1950s to develop naval power have produced one of the strongest navies in the world, but this achievement has not been without serious costs. The construction of increasingly complex submarines, ships, and aircraft has required greater investment of resources and manpower. This volume addresses whether the Soviet Union will continue naval expansion and what directions technological development will take in the future. In particular, the contributors consider trends in submarine, aircraft carrier, and surface combatant systems and examine what implications these developments have for U.S. defense planning over the next two decades.
617 kr
Läs direkt efter köp
702 kr
Läs direkt efter köp
Originally published in 1989. Given the events of 1987 and 1988-the death of Admiral Sergei G. Gorshkov, who had served as Commander-in-Chief of the Soviet Navy from 1956 to 1985 and was so influencial in the development of the current Soviet Navy, the Soviet policy of glasnost'', the U .S.-Soviet arms negotiations, Secretary Mikhail Gorbachev''s visit to Washington, President Ronald Reagan''s visit to Moscow, and the treaty concerning intermediate-range nuclear weapons- a study of the Soviet naval threat to Europe is particularly timely. This study begins by examining Soviet military and naval strategy, which provides a view of how the Soviets intend to use their forces. Then the book explore Soviet naval capabilities and operations, because a full understanding of Soviet naval power provides an understanding of the isolation that Europeans often feel. In the fourth and fifth sections of the book we examine the threat to northern and southern Europe.
702 kr
Läs direkt efter köp
Since Admiral Sergei G. Gorshkov was appointed to the office of commander in chief of the Soviet Navy in 1956, the Soviet Union has made a massive investment in naval construction, training, and operations. As a result, the Soviet Navy has grown from a coastal defense force to one of the world''s two strongest navies. This book offers a detailed assessment of every major aspect of the Soviet Navy, from fleet structure and training facilities to command and control procedures and warfare and intelligence collection capabilities.
730 kr
Läs direkt efter köp
730 kr
Läs direkt efter köp
284 kr
Läs direkt efter köp
The efforts of the Soviet Union since the mid-1950s to develop naval power have produced one of the strongest navies in the world, but this achievement has not been without serious costs. The construction of increasingly complex submarines, ships, and aircraft has required greater investment of resources and manpower. This volume addresses whether the Soviet Union will continue naval expansion and what directions technological development will take in the future. In particular, the contributors consider trends in submarine, aircraft carrier, and surface combatant systems and examine what implications these developments have for U.S. defense planning over the next two decades.
617 kr
Läs direkt efter köp
702 kr
Läs direkt efter köp
Originally published in 1989. Given the events of 1987 and 1988-the death of Admiral Sergei G. Gorshkov, who had served as Commander-in-Chief of the Soviet Navy from 1956 to 1985 and was so influencial in the development of the current Soviet Navy, the Soviet policy of glasnost'', the U .S.-Soviet arms negotiations, Secretary Mikhail Gorbachev''s visit to Washington, President Ronald Reagan''s visit to Moscow, and the treaty concerning intermediate-range nuclear weapons- a study of the Soviet naval threat to Europe is particularly timely. This study begins by examining Soviet military and naval strategy, which provides a view of how the Soviets intend to use their forces. Then the book explore Soviet naval capabilities and operations, because a full understanding of Soviet naval power provides an understanding of the isolation that Europeans often feel. In the fourth and fifth sections of the book we examine the threat to northern and southern Europe.
702 kr
Läs direkt efter köp
Since Admiral Sergei G. Gorshkov was appointed to the office of commander in chief of the Soviet Navy in 1956, the Soviet Union has made a massive investment in naval construction, training, and operations. As a result, the Soviet Navy has grown from a coastal defense force to one of the world''s two strongest navies. This book offers a detailed assessment of every major aspect of the Soviet Navy, from fleet structure and training facilities to command and control procedures and warfare and intelligence collection capabilities.
730 kr
Läs direkt efter köp
730 kr
Läs direkt efter köp
ICT Education
51st Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2022, Cape Town, South Africa, July 21–22, 2022, Revised Selected Papers
676 kr
Skickas
816 kr
Läs direkt efter köp
1 114 kr
Skickas inom 10-15 vardagar
1 408 kr
Läs direkt efter köp
The focus of this book is on bridging the gap between two extreme methods for developing software. On the one hand, there are texts and approaches that are so formal that they scare off all but the most dedicated theoretical computer scientists. On the other, there are some who believe that any measure of formality is a waste of time, resulting in software that is developed by following gut feelings and intuitions.
Kourie and Watson advocate an approach known as “correctness-by-construction,” a technique to derive algorithms that relies on formal theory, but that requires such theory to be deployed in a very systematic and pragmatic way. First they provide the key theoretical background (like first-order predicate logic or refinement laws) that is needed to understand and apply the method. They then detail a series of graded examples ranging from binary search to lattice cover graph construction and finite automata minimization in order to show how it can be applied to increasingly complex algorithmic problems.
The principal purpose of this book is to change the way software developers approach their task at programming-in-the-small level, with a view to improving code quality. Thus it coheres with both the IEEE’s Guide to the Software Engineering Body of Knowledge (SWEBOK) recommendations, which identifies themes covered in this book as part of the software engineer’s arsenal of tools and methods, and with the goals of the Software Engineering Method and Theory (SEMAT) initiative, which aims to “refound software engineering based on a solid theory.”