• Title Software Foundations
• Authors: Benjamin C. Pierce, Chris Casinghino, Michael Greenberg, Vilhelm Sjoberg, Brent Yorgey
• Publisher: University of Pennsylvania, 2021 - Date
• eBook: HTML and PDF
• Language: English
• ISBN-10: N/A
• ISBN-13: N/A

Book Description

The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software.

The principal novelty of the series is that every detail is one hundred percent formalized and machine-checked: the entire text of each volume, including the exercises, is literally a "proof script" for the Coq proof assistant.

The exposition is intended for a broad range of readers, from advanced undergraduates to PhD students and researchers. No specific background in logic or programming languages is assumed, though a degree of mathematical maturity is helpful.

Do you think the programmers who work at your office are magical wizards who hold special powers that manipulate your computer? Believe it or not, anyone can learn how to write programs, and it doesn't take a higher math and science education to start.

This book shows you how computer programming works without all the technical details or hard programming language. It explores the common parts of every computer programming language and how to write for multiple platforms like Windows, Mac OS X, or Linux. This easily accessible guide provides you with the tools you need to:

• Create programs and divide them into subprograms
• Develop variables and use constants
• Manipulate strings and convert them into numbers
• Use an array as storage space
• Reuse and rewrite code
• Isolate data
• Create a user interface
• Write programs for the Internet
• Utilize JavaScript and Java Applets

• Benjamin C. Pierce is the Henry Salvatori Professor of computer science at the University of Pennsylvania.

• Amazon

• Introduction to Computer Programming
• Software Engineering Principles and Practices
• Introduction to Computer Science
• The C Programming Language
• Computer and Programming Languages

• Software Foundations (Benjamin C. Pierce, et al.)
• The Mirror Site (1) - PDF

• The Modern DevOps Lifecycle: CI/CD and App Architectures

  Learn where the DevOps industry stands today and discover where it’s heading. Dive into core topics such as continuous delivery adoption, benefits, and barriers; automation in the software development life cycle; software delivery practices, techniques, etc.

• The Modern Developer (Ahilan Ponnusamy)

  Maximize developer productivity to address competitive threats as well as explore new opportunities. An essential resource for aspiring and experienced software developers who want to master the skills required to succeed in today's fast-paced tech industry.

• Quantum Software: Aspects of Theory and System

  This open access book explains the state of the art in quantum software engineering and design, independent from a specific hardware. It deals with quantum software theoretical aspects and with classical software engineering concepts.

• Coderspeak: The Language of Computer Programmers

  This book delves into the hidden world of software development, offering a combined anthropological and technical approach that explores the coder community's impact on our digital landscape.

• The Super Programmer: A Colorful Introduction to Engineering!

  For the programmers who don't want to limit their knowledge and skills on a very narrow area of software engineering. A book discussing some of the most underrated topics in computer-science by implementing them from scratch!

• Rethinking Productivity in Software Engineering (C. Sadowski, ...)

  This book covers definitions and core concepts related to productivity, guidelines for measuring productivity in specific contexts, best practices and pitfalls, and theories and open questions on productivity.

• The Essence of Software Engineering (Volker Gruhn, et al)

  This book offers readers a concise overview of the essence of software engineering, providing valuable insights into the latest methodological research findings and adesso's experience applying these results in real-world projects.

• Real-World Maintainable Software (Abraham Marin-Perez)

  With this practical book, you'll learn 10 easy-to-follow guidelines for delivering Java software that’s easy to maintain and adapt. These guidelines have been derived from analyzing hundreds of real-world systems.

• Software Design for Flexibility (Chris Hanson, et al.)

  This book describes techniques they have found effective--over their combined 100-plus years of programming experience--that will help programmers avoid programming themselves into corners.

• Scaling a Software Business: The Digitalization Journey

  Software has changed the rules of the game. The world talks about the digitalization in industry and society - how the focus has shifted from producing tangible things towards software and services.

• The New Software Engineering (Sue Conger)

  This book discusses the software engineer's project related knowledge and theoretical background in order to facilitate and speed the process by which novices become experts. It covers project planning, project life cycles, methodologies, technologies, etc.