Catalog > Științe > Informatică > Aplicație software > Zoltan Porkolab & Viktoria Zsok: Composability, Comprehensibility and Correctness of Working Software (ePUB)

Zoltan Porkolab & Viktoria Zsok
Composability, Comprehensibility and Correctness of Working Software [EPUB ebook]
8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers

Ajutor

Copertina de Zoltan Porkolab & Viktoria Zsok: Composability, Comprehensibility and Correctness of Working Software (ePUB)

This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019.The 7 full papers and the 4 short papers included in this volume were carefully reviewed and selected. The lectures cover various programming subjects with a focus on composability, comprehensibility, and correctness of working software.

€77.02

Cumpărați această carte electronică și primiți încă 1 GRATUIT!

Limba Engleză ● Format EPUB ● ISBN 9783031428333 ● Editor Zoltan Porkolab & Viktoria Zsok ● Editura Springer International Publishing ● Publicat 2023 ● Descărcabil 3 ori ● Valută EUR ● ID 9218084 ● Protecție împotriva copiilor Adobe DRM

Necesită un cititor de ebook capabil de DRM

Mai multe cărți electronice de la același autor (i) / Editor

Zoltan Porkolab Viktoria Zsok

16.941 Ebooks din această categorie

Copertina de Gavin Powell: Database Modeling Step by Step

Gavin Powell: Database Modeling Step by Step

With the aim of simplifying relational database modeling, Database Modeling Step-by-Step presents the standard approach to database normalization and then adds its own approach, which is a more simpl …

Copertina de Mohapatra Hitesh & Rath Prof. Amiya Kumar: Fundamentals of Software Engineering

Mohapatra Hitesh & Rath Prof. Amiya Kumar: Fundamentals of Software Engineering

Practical Handbook to understand the hidden language of computer hardware and software DESCRIPTIONThis book teaches the essentials of software engineering to anyone who wants to become an active and …

Copertina de Dan Aldred: Coding with the micro

Dan Aldred: Coding with the micro

A new title in the Quest Kids(R) children’s series that was launched by In Easy Steps in 2018, designed to make learning fun for children. Coding with the micro:bit – Create Cool Programming Projects …

Copertina de Christina Braz & Bilal Naqvi: Integrating a Usable Security Protocol into User Authentication Services Design Process

Christina Braz & Bilal Naqvi: Integrating a Usable Security Protocol into User Authentication Services Design Process

There is an intrinsic conflict between creating secure systems and usable systems. But usability and security can be made synergistic by providing requirements and design tools with specific usable s …

Copertina de Diego Pacheco & Sam Sgro: Principles of Software Architecture Modernization

Diego Pacheco & Sam Sgro: Principles of Software Architecture Modernization

This book is a comprehensive guide to designing scalable and maintainable software written by an expert. It covers the principles, patterns, anti-patterns, trade-offs, and concepts that software deve …

Copertina de Preston Zhang: Practical Guide for Oracle SQL, T-SQL and MySQL

Preston Zhang: Practical Guide for Oracle SQL, T-SQL and MySQL

SQL is a widely used to access most databases, therefore database developers and system administrators should be familiar with it. This hands-on SQL book will help beginner and intermediate user …

Copertina de Donald J. Reifer: Software Maintenance Success Recipes

Donald J. Reifer: Software Maintenance Success Recipes

Software Maintenance Success Recipes identifies actionable formulas for success based on in-depth analysis of more than 200 real-world maintenance projects. It details the set of factors that are usu …

Copertina de Jimmy Russell: 101 Amazing Atari 2600 Facts

Jimmy Russell: 101 Amazing Atari 2600 Facts

In this, the first title in Jimmy Russell’s Games Console History series, we learn 101 amazing facts about Atari’s seminal 2600, the first truly popular home family computer games system. The facts c …

Copertina de Charles W. Kann: Creating Components

Charles W. Kann: Creating Components

Concurrency is a powerful technique for developing efficient and lightning- fast software. For instance, concurrency can be used in common applications such as online order processing to speed proces …

Copertina de Rathinaraja Jeyaraj & Anand Paul: Big Data with Hadoop MapReduce

Rathinaraja Jeyaraj & Anand Paul: Big Data with Hadoop MapReduce

The authors provide an understanding of big data and Map Reduce by clearly presenting the basic terminologies and concepts. They have employed over 100 illustrations and many worked-out examples to c …

Pagina următoare >>>