Catalog > Ciência > Ciência da Computação > Software de Aplicação > Abderrahmane Feliachi & Marie-Claude Gaudel: Unifying Theories of Programming (PDF)

Abderrahmane Feliachi & Marie-Claude Gaudel
Unifying Theories of Programming [PDF ebook]
4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Apoio

Capa do Abderrahmane Feliachi & Marie-Claude Gaudel: Unifying Theories of Programming (PDF)

This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in Paris, France, in August 2012, co-located with the 18th International Symposium on Formal Methods, FM 2012. The 8 revised full papers presented together with 2 invited talks and one invited lecture were carefully reviewed and selected from 13 submissions.

€53.52

Compre este e-book e ganhe mais 1 GRÁTIS!

Língua Inglês ● Formato PDF ● ISBN 9783642357053 ● Editor Abderrahmane Feliachi & Marie-Claude Gaudel ● Editora Springer Berlin Heidelberg ● Publicado 2013 ● Carregável 3 vezes ● Moeda EUR ● ID 6323387 ● Proteção contra cópia Adobe DRM

Requer um leitor de ebook capaz de DRM

Mais ebooks do mesmo autor(es) / Editor

Abderrahmane Feliachi Marie-Claude Gaudel Burkhard Wolff

16.612 Ebooks nesta categoria

Capa do Max Wainewright: Coding with Scratch - Make 3D Games & Graphics

Max Wainewright: Coding with Scratch – Make 3D Games & Graphics

Coding with Scratch – Make 3D Games & Graphics starts by showing you how to make 3D graphics and then, step-by-step, it takes you through to making 3D games. Try the challenges and mods and make your …

Capa do Ronen Barzel & Ken Greenebaum: Audio Anecdotes III

Ronen Barzel & Ken Greenebaum: Audio Anecdotes III

This collection of articles provides practical and relevant tools, tips, and techniques for those working in the digital audio field. Volume III, with contributions from experts in their fields, incl …

Capa do Jessica Keyes: Software Configuration Management

Jessica Keyes: Software Configuration Management

An effective systems development and design process is far easier to explain than it is to implement. A framework is needed that organizes the life cycle activities that form the process. This framew …

Capa do Gilbert (4-Degree Consulting, Macon, Georgia, USA) Held: Enhancing LAN Performance

Gilbert (4-Degree Consulting, Macon, Georgia, USA) Held: Enhancing LAN Performance

Enhancing LAN Performance, Fourth Edition explains how to connect geographically separated LANs with appropriate bandwidth, the issues to consider when weighing the use of multiport or dualport devic …

Capa do Mohd Fadzil Hassan & Fausto Pedro Garcia Marquez: Handbook of Research on Trends and Future Directions in Big Data and Web Intelligence

Mohd Fadzil Hassan & Fausto Pedro Garcia Marquez: Handbook of Research on Trends and Future Directions in Big Data and Web Intelligence

Capa do M. Narasimha Murty & Hari Seetha: Modern Technologies for Big Data Classification and Clustering

M. Narasimha Murty & Hari Seetha: Modern Technologies for Big Data Classification and Clustering

Capa do Robert C Martin: Architecture logicielle propre, 1CU 36 Mois

Robert C Martin: Architecture logicielle propre, 1CU 36 Mois

Vous n’imaginez pas le temps qu’une architecture logicielle bien soignee des le depart peut vous faire gagner. Vous pouvez augmenter fortement la productivite du developpement tout au long du cycle d …

Capa do Adam Aspin: Querying MySQL

Adam Aspin: Querying MySQL

This book will take you on an interactive journey to understand SQL querying from the most basic to the most expert level utilising a variety of SQL techniques to extract relevant insights from your …

Capa do Nakul Shah: Blockchain and DLT

Nakul Shah: Blockchain and DLT

Blockchain secures individual transactions with cryptography, creating a tamper-proof chain. In contrast, distributed ledger technologies cover various technologies that may not adhere strictly to bl …

Capa do Mirza Rahim Baig & Mohan Kumar Silaparasetty: The Deep Learning Workshop

Mirza Rahim Baig & Mohan Kumar Silaparasetty: The Deep Learning Workshop

Take a hands-on approach to understanding deep learning and build smart applications that can recognize images and interpret text Key Features

Understand how to implement deep learning with …

Próxima página >>>