Design and Implementation of the MTX Operating System
This course-tested textbook describes the design and implementation of operating systems, and...
EAN: 9783319175744
NASA Formal Methods
This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal...
EAN: 9783319175232
Structured Object-Oriented Formal Language and Method
This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International...
EAN: 9783319174037
Building High Integrity Applications with SPARK
The formally defined programming language SPARK provides a means to guarantee that a computer...
EAN: 9781107656840
Multi-Agent Systems
This book constitutes the proceedings of the 12th European Conference on Multi-Agent Systems,...
EAN: 9783319171296
Parallel Scientific Computing
This book is concentrated on the synergy between computer science and numerical analysis. It is...
EAN: 9783319170725
Go Programming Language, The
The book will quickly get students started using Go effectively from the beginning, and by the...
EAN: 9780134190440
Data Structures and Other Objects Using C++
EAN: 9780132129480
Advanced Metaprogramming in Classic C++
Advanced Metaprogramming in Classic C++ aims to be both an introduction and a reference to C++...
EAN: 9781484210116
Grundkurs Software-Entwicklung mit C++
Ein Programmieranfänger sieht sich mit vier verschiedenen Themenkr- sen konfrontiert, die im...
EAN: 9783834801258
Problem Solving and Program Design in C, Global Edition
EAN: 9781292098814
Programming Languages and Systems
This book constitutes the proceedings of the 24th European Symposium on Programming, ESOP 2015,...
EAN: 9783662466681
Compiler Construction
This book constitutes the proceedings of the 24th International Conference on Compiler...
EAN: 9783662466629
Optimized C++
In today's fast and competitive world, a program's performance is just as important to customers...
EAN: 9781491922064
C in a Nutshell, 2e
The new edition of this classic O'Reilly reference provides clear, detailed explanations of every...
EAN: 9781491904756
Software, Services, and Systems
This book is dedicated to Professor Martin Wirsing on the occasion of his emeritation from...
EAN: 9783319155449
Formal Aspects of Component Software
This book constitutes revised selected papers from the International Symposium on Formal Aspects...
EAN: 9783319153162
VisualBasic .NET For Dummies
Would you like to write Windows programs but don't know where to start? Visual Basic. NET, the...
EAN: 9780764508677
Software Engineering and Formal Methods
EAN: 9783319152004
Verification, Model Checking, and Abstract Interpretation
The papers cover a wide range of topics including program verification, model checking, abstract...
EAN: 9783662460801
Unifying Theories of Programming
This book constitutes the refereed proceedings of the 5th International Symposium on Unifying...
EAN: 9783319148052
Concrete Semantics
Part II can be read even without familiarity with Isabelle’s proof language, all proofs are...
EAN: 9783319105413
