Librería Portfolio Librería Portfolio

Búsqueda avanzada

TIENE EN SU CESTA DE LA COMPRA

0 productos

en total 0,00 €

LOGIC, COMPUTATION AND RIGOROUS METHODS
Título:
LOGIC, COMPUTATION AND RIGOROUS METHODS
Subtítulo:
Autor:
RASCHKE, A
Editorial:
SPRINGER VERLAG
Año de edición:
2021
Materia
PROGRAMACION LOGICA
ISBN:
978-3-030-76019-9
Páginas:
353
76,95 €

 

Sinopsis


Dedicated to a pioneer in the fields of logic and computer science, Egon Börger´s research interests are unusual in scope, from programming languages to hardware architectures, software architectures, control systems, workflow and interaction patterns, business processes, web applications, and concurrent systems
Invited contributions in this volume by leading researchers in the areas of Software Engineering, Programming Languages, Business Information Systems, and Computer Science Logic
Festschrift acknowledges Prof. Börger´s inspiration as a scientist, author, mentor, and community organizer




This Festschrift was published in honor of Egon Börger on the occasion of his 75th birthday.

It acknowledges Prof. Börger´s inspiration as a scientist, author, mentor, and community organizer. Dedicated to a pioneer in the fields of logic and computer science, Egon Börger´s research interests are unusual in scope, from programming languages to hardware architectures, software architectures, control systems, workflow and interaction patterns, business processes, web applications, and concurrent systems.

The 18 invited contributions in this volume are by leading researchers in the areas of software engineering, programming languages, business information systems, and computer science logic.