Catalog > Naturwissenschaft > Informatik > Informatik > Ralf Hinze & Janis Voigtländer: Mathematics of Program Construction (PDF)

Ralf Hinze & Janis Voigtländer
Mathematics of Program Construction [PDF ebook]
12th International Conference, MPC 2015, Königswinter, Germany, June 29–July 1, 2015. Proceedings

Support

Cover von Ralf Hinze & Janis Voigtländer: Mathematics of Program Construction (PDF)

This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Königswinter, Germany, in June/July 2015. The 15 revised full papers presented together with two invited talks were carefully reviewed and selected from 20 submissions. The papers are about mathematical methods and tools put to use in program construction. They range from algorithmics to support for program construction in programming languages and systems. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics.

€59.49

Inhaltsverzeichnis

Type Systems.- Program analysis and Transformation.- Programming-language semantics.- Security.- Program logics.

Dieses Ebook kaufen – und ein weitere GRATIS erhalten!

Sprache Englisch ● Format PDF ● Seiten 323 ● ISBN 9783319197975 ● Herausgeber Ralf Hinze & Janis Voigtländer ● Verlag Springer International Publishing ● Ort Cham ● Land CH ● Erscheinungsjahr 2015 ● herunterladbar 24 Monate ● Währung EUR ● ID 4456131 ● Kopierschutz Soziales DRM

Ebooks vom selben Autor / Herausgeber

Ralf Hinze Janis Voigtländer

16.384 Ebooks in dieser Kategorie

Cover von Yu-Hsin Chen & Joel S. Emer: Efficient Processing of Deep Neural Networks

Yu-Hsin Chen & Joel S. Emer: Efficient Processing of Deep Neural Networks

This book provides a structured treatment of the key principles and techniques for enabling efficient processing of deep neural networks (DNNs) . DNNs are currently widely used for many artificial in …

Cover von Roger A. Philips: Guide To Software Export: A Handbook For International Software Sales

Roger A. Philips: Guide To Software Export: A Handbook For International Software Sales

An ideal reference source for CEOs, marketing and sales managers, sales consultants, and students of international marketing, Guide to Software Export provides a step-by-step approach to initiating o …

Cover von Joanna Kulesza: International Internet Law

Joanna Kulesza: International Internet Law

This book discusses the international legal issues underlying Internet Governance and proposes an international solution to its problems. The book encompasses a wide spectrum of current debate surrou …

Cover von Ying Bai: The Windows Serial Port Programming Handbook

Ying Bai: The Windows Serial Port Programming Handbook

The popularity of serial communications demands that additional serial port interfaces be developed to meet the expanding requirements of users. The Windows Serial Port Programming Handbook illustrat …

Cover von Prem Timsina: Building Transformer Models with PyTorch 2.0

Prem Timsina: Building Transformer Models with PyTorch 2.0

This book covers transformer architecture for various applications including NLP, computer vision, speech processing, and predictive modeling with tabular data. It is a valuable resource for anyone l …

Cover von Wendy Flores-Fuentes & Julio C. Rodriguez-Quinonez: Examining Optoelectronics in Machine Vision and Applications in Industry 4.0

Wendy Flores-Fuentes & Julio C. Rodriguez-Quinonez: Examining Optoelectronics in Machine Vision and Applications in Industry 4.0

The research and exploitation of optoelectronic properties in the industrial branch of electronics is becoming more popular each day due to the important role they play in the development of a large …

Cover von Yigit Kazancoglu & Shristi Kharola: Advances in Soft Computing Applications

Yigit Kazancoglu & Shristi Kharola: Advances in Soft Computing Applications

The proclivity of today’s technology to think like humans may be seen in new developing disciplines such as neural computing, fuzzy logic, evolutionary computation, machine learning, and probabilisti …

Cover von Duarte (Technical University of Lisbon, Portugal) Araujo & Micael (University of Lisbon, Portugal) Couceiro: Artificial Intelligence in Sport Performance Analysis

Duarte (Technical University of Lisbon, Portugal) Araujo & Micael (University of Lisbon, Portugal) Couceiro: Artificial Intelligence in Sport Performance Analysis

To understand the dynamic patterns of behaviours and interactions between athletes that characterize successful performance in different sports is an important challenge for all sport practitioners. …

Cover von Bill Schmarzo: The Economics of Data, Analytics, and Digital Transformation

Bill Schmarzo: The Economics of Data, Analytics, and Digital Transformation

Build a continuously learning and adapting organization that can extract increasing levels of business, customer and operational value from the amalgamation of data and advanced analytics such as AI …

Cover von Sharon Yull: BTEC National for IT Practitioners: Core units

Sharon Yull: BTEC National for IT Practitioners: Core units

BTEC National for IT Practitioners has been written specifically to cover the compulsory core units and selected specialist units of the BTEC National specifications. This book provides core unit cov …

nächste Seite >>>