QED at Large. A Survey of Engineering of Formally Verified Software, Paperback - Zachary Tatlock

Covers the timeline and research literature concerning proof development for program verification, including theories, languages, and tools. The bo...

In Experiment with Engineering, you can take science out of the lab and into your home with this book of fun and engineering experiments to try!Pub...

Reducere. Reflecting thorough scholarship and decades of ministry experience, Robin Hadaway's A Survey of World Missions examines the biblical, theological, ...

In A Survey of the Scriptures, evangelical pastor and teacher Johnny Calvin Smith writes a straightforward overview of the Bible, suitable for cler...

Redescopera farmecul lecturii si alege-ti de pe elefant.ro carti in limba engleza scrise de autori consacrati. Iti punem la dispozitie sute de mii ...

Reducere. Doubling as both scholar and guide, Leithart dives deep into the fascinating web woven by Matthew, Mark, Luke, and John. The Four covers everything...

Reducere. The purpose of studying the Old Testament is to understand God and his redemptive work more fully. However, this goal is complicated by the fact th...

This book offers a comprehensive survey of the history and the development of Arab music and musical theory from its pre-Islamic roots until 1970, ...

Reducere. Process Philosophy surveys the basic issues and controversies surrounding the philosophical approach known as "process philosophy." Process philoso...

Reducere. An industry and academic standard, Applied Drilling Engineering presents engineering science fundamentals as well as examples of engineering applic...

Redescopera farmecul lecturii si alege-ti de pe elefant.ro carti in limba engleza scrise de autori consacrati. Iti punem la dispozitie sute de mii ...

Software engineering is a social activity; forget that and your career is lost... Starting with the premise that a good software engineer is necess...

Reducere. Exploring the broad spectrum of the forensic sciences practiced both inside and outside of a crime lab, this text investigates forensic sciences th...

Redescopera farmecul lecturii si alege-ti de pe elefant.ro carti in limba engleza scrise de autori consacrati. Iti punem la dispozitie sute de mii ...

To celebrate Paddington Bear's 60th birthday in 2018 this hilarious classic novel from master storyteller Michael Bond has been given a fresh new l...

DescriptionThis book surveys the current landscape of New Testament studies, offering readers a concise guide to contemporary discussions. Bringing...

Reducere. What is the best framework for reading the Bible? The question of how to relate the Old and New Testaments is as old as the Bible itself. While mos...

Reducere. Pastor Bob Schwandt believes there can be solid, unifying Christian growth in following the whole counsel of God's Word. In this thought-provoking ...

DescriptionSalary surveys worldwide regularly place software architect in the top 10 best jobs, yet no real guide exists to help developers become ...

Reducere. Paddington, the bear from darkest Peru, was found by the Brown family on Paddington station. In this adventure Paddington has a sticky time of it m...

Reducere. A missing animal at the zoo and strange noises coming from her backyard can mean only one thing for Tori: she's got a mystery to solve! Tori loves ...

Reducere. Antiracist professional development for white teachers often follows a one-size-fits-all model, focusing on narrow notions of race and especially w...

Reducere. Does the Bible have authority in a world committed to relative truth? The understanding of absolute, objective truth has been largely lost. Spend j...

Reducere. Contributor(s): Author: MR Mebane T. FaberWith all of our focus on assets - and how much and when to allocate them - are we missing the bigger pict...

This long awaited work surveys and summarizes the results of more than seventy years of investigation, by factor analysis, of a variety of cognitiv...

Reducere. Chapter 1: Introduction and Overview Chapter 2: Of the Philosophy of Religion and Its Methodology Chapter 3: Atheism and Atheists Chapter 4: The Bu...

Reducere. Your view of God determines your view of the world.You hold in your hands a landmark guide to understanding the ideas and forces shaping our times....

This book is a primarily pictorial overview of the great variety of works trams that served the first generation of tramways in the British Isles.

Mathematics is the essence of problem solving. We embrace this by focusing our attention on the applications, and allow the algebra and computation...

The fourth edition remains the only introductory communication book to explore fundamental concepts, theories and skills aimed at helping readers a...

Reducere. The discipline of engineering which focuses on building robust software systems is termed as software engineering. The primary objective of softwar...

Reducere. The first-ever book to cover the history of the renegade Outlaw country music movement from its beginnings in the 1970s to its resurgence today, "O...

Reducere. Sound theological method is a necessary prerequisite for good theological work. This accessible introduction surveys contemporary theological metho...

Reducere. In this accessible introduction to Jesus Christ, Robert Stein draws together the results of a career of research and writing on Jesus and the Gospe...

SOFTWARE ENGINEERING ESSENTIALS Volume I: The Development Process FOURTH EDITION A multi- text software engineering course or courses (based on the...