Programming Logics
Essays in Memory of Harald Ganzinger
| Rating |  |
| Authors | Andrei Voronkov, Christoph Weidenbach |
| Publisher | Springer |
| Published | 2013 |
| Pages | 447 |
| Language | English |
| Format | Paper book / ebook (PDF) |
| ISBN-10 | 3642376517 |
| ISBN-13 | 9783642376511 |
This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues all over the world and covers all the fields to which Harald Ganzinger dedicated his work during his academic career.
The volume begins with a complete account of Harald Ganzinger's work and then turns its focus to the research of his former colleagues, students, and friends who pay tribute to him through their writing. Their individual papers span a broad range of topics, including programming language semantics, analysis and verification, first-order and higher-order theorem proving, unification theory, non-classical logics, reasoning modulo theories, and applications of automated reasoning in biology.
- Andrei Voronkov
- Christoph Weidenbach
Similar Books
Options and Derivatives Programming in C++20, 2nd Edition
by Carlos Oliveira
Master the features of C++ that are frequently used to write financial software for options and derivatives, including the STL, templates, functional programming, and numerical libraries. This book also covers new features introduced in C++20 and other recent standard releases: modules, concepts, spaceship operators, and smart pointers. Y...
Price: $34.37 | Publisher: Apress | Release: 2020
by Slava Schmidt
The second version of Scala has undergone multiple changes to support features and library implementations. Scala 2.13, with its main focus on modularizing the standard library and simplifying collections, brings with it a host of updates.Learn Scala Programming addresses both technical and architectural changes to the redesigned standard...
Price: $37.37 | Publisher: Packt Publishing | Release: 2018
Java-Based Real-Time Programming
by Klas Nilsson
Development of embedded software has for some years mainly been carried out by hardware-aware programming using the C-language, and in some cases even in assembly languages. This works well in simple cases when the application demands and the hardware are known at design time, and the size of the (statically defined) software is small. Wh...
Free ebook | Publisher: Self-publishing | Release: 2016
Is Parallel Programming Hard, And, If So, What Can You Do About It?
by Paul McKenney
The purpose of this book is to help you program shared-memory parallel systems without risking your sanity. Nevertheless, you should think of the information in this book as a foundation on which to build, rather than as a completed cathedral. Your mission, if you choose to accept, is to help make further progress in the exciting field of...
Free ebook | Publisher: Self-publishing | Release: 2021
by Brian Hall
This is an intro to C for folks who already know how to program in another language. The first half of the book is written in a tutorial style, while the second half is a reference section complete with examples (inspired by the incomparable Turbo C Bible). The goal is to keep this up-to-date with the latest C standards.This guide assumes...
Free ebook | Publisher: Self-publishing | Release: 2022
by Josh Glazer, Sanjay Madhav
Networked multiplayer games are a multibillion dollar business: some games now attract tens of millions of players. In this practical, code-rich guide, Joshua Glazer and Sanjay Madhav guide you through every aspect of engineering them. Drawing on their immense experience as both game developers and instructors, the authors lead you throug...
Price: $33.99 | Publisher: Addison-Wesley | Release: 2015
Learning Swift 2 Programming, 2nd Edition 
by Jacob Schatz
Learning Swift 2 Programming is a fast-paced, hands-on introduction to writing production-quality iOS and OS X apps with Apple's programming language. Written for developers with experience in any modern language, this book explains Swift simply and clearly, using relevant examples that solve realistic problems.Author Jacob Schatz�...
Price: $28.32 | Publisher: Addison-Wesley | Release: 2015
A Practical Guide to Linux Commands, Editors, and Shell Programming, 4th Edition
by Mark G. Sobell, Matthew Helmke
Linux is today's dominant Internet server platform. System administrators and Web developers need deep Linux fluency, including expert knowledge of shells and the command line. This is the only guide with everything you need to achieve that level of Linux mastery. Renowned Linux expert Mark Sobell has brought together comprehensive, ...
Price: $28.99 | Publisher: Addison-Wesley | Release: 2017