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
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
The Developer's Guide to Social Programming
by Mark D. Hawker
In The Developer's Guide to Social Programming, Mark Hawker shows developers how to build applications that integrate with the major social networking sites. Unlike competitive books that focus on a single social media platform, this book covers all three leading platforms: Facebook, OpenSocial, and Twitter. Hawker identifies the cha...
Price: $4.38 | Publisher: Addison-Wesley | Release: 2010
The C# Programming Language, 4th Edition
by Anders Hejlsberg, Mads Torgersen, Scott Wiltamuth, Peter Golde
The popular C# programming language combines the high productivity of rapid application development languages with the raw power of C and C++. Updated to cover the new features of C# 4.0, including dynamic binding, named and optional parameters, and covariant and contravariant generic types, this release takes the language to the next lev...
Price: $39.99 | Publisher: Addison-Wesley | Release: 2011