Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday

-22% su kodu: BOOKS

Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday

Knygos „Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday“ aprašymas

Knygos aprašymas

This book presents a collection of research papers that address the challenge of how to develop software in a principled way that, in particular, enables reasoning. The individual papers approach this challenge from various perspectives including programming languages, program verification, and the systematic variation of software. Topics covered include programming abstractions for concurrent and distributed software, specification and verification techniques for imperative programs, and development techniques for software product lines.

With this book the editors and authors wish to acknowledge ¿ on the occasion of his 60th birthday ¿ the work of Arnd Poetzsch-Heffter, who has made major contributions to software technology throughout his career. It features articles on Arnd¿s broad research interests including, among others, the implementation of programming languages, formal semantics, specification and verification of object-oriented and concurrent programs, programming language design, distributed systems, software modeling, and software product lines. All contributing authors are leading experts in programming languages and software engineering who have collaborated with Arnd in the course of his career.

Overall, the book offers a collection of high-quality articles, presenting original research results, major case studies, and inspiring visions. Some of the work included here was presented at a symposium in honor of Arnd Poetzsch-Heffter, held in Kaiserslautern, Germany, in November 2018.

Informacija

Leidėjas:	Springer Nature Switzerland
Išleidimo metai:	2018
Knygos puslapių skaičius:	332
ISBN-10:	3030074420
ISBN-13:	9783030074425
Formatas:	235 x 155 x 19 mm. Knyga minkštu viršeliu
Kalba:	Anglų

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday“

Pristatymo būdas	Knygos pristatymo trukmė *
Smartpost paštomatas	Per 18-26 val.
Venipak paštomatas	Per 18-26 val
LP Express terminalas	Per 18-26 val.
DPD paštomatas	Vilniuje: per 4-26 val., kitur Lietuvoje: per 18-26 val.
Omniva paštomatas	Per 18-26 val.
Lietuvos pašto skyrius	Per 18-26 val.
Nurodytu adresu	Per 18-26 val.

Pristatymo būdas	Knygos pristatymo trukmė*
Smartpost paštomatas	Per 24-48 val.
Venipak paštomatas	Per 24-48 val.
LP Express terminalas	Per 24-48 val.
DPD paštomatas	Vilniuje: per 24-32 val., kitur Lietuvoje: per 24-48 val.
Omniva paštomatas	Per 24-48 val.
Lietuvos pašto skyrius	Per 24-72 val.
Nurodytu adresu	Per 24-48 val.

Pristatymo būdas	Knygos pristatymo trukmė
Smartpost paštomatas	3-6 darbo dienos
Venipak paštomatas	3-6 darbo dienos
LP Express terminalas	3-6 darbo dienos
DPD paštomatas	3-6 darbo dienos
Omniva paštomatas	3-6 darbo dienos
Lietuvos pašto skyrius	5-8 darbo dienos
Nurodytu adresu	3-6 darbo dienos

Pristatymo būdas ir kaina LIETUVOJE
Atsiėmimas biure Vilniuje Galimas tik nuo 15 € NEMOKAMAS
Venipak paštomatas Prekių suma iki 20 € - kaina 1,89 € virš 20€ pristatymas NEMOKAMAS
Smartpost paštomatas Prekių suma iki 20 € - kaina 1,99 € virš 20 € pristatymas NEMOKAMAS
Omniva paštomatas Prekių suma iki 25 € - kaina 2,49 € virš 25 € pristatymas NEMOKAMAS
LP Express terminalas Prekių suma iki 25 € - kaina 2,49 € virš 25 € pristatymas NEMOKAMAS
DPD paštomatas Prekių suma iki 25 € - kaina 2,99 € virš 25 € pristatymas NEMOKAMAS
Lietuvos pašto skyrius Prekių suma iki 25 € - kaina 2,49 € virš 25 € pristatymas NEMOKAMAS
Nurodytu adresu Prekių suma iki 25 € - kaina 3,49 € virš 25 € pristatymas NEMOKAMAS