Notice bibliographique
- Notice
Type(s) de contenu et mode(s) de consultation : Texte noté : électronique
Titre(s) : Programming Languages with Applications to Biology and Security [Texte électronique] : Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday / edited by Chiara Bodei, Gian-Luigi Ferrari, Corrado Priami
Édition : 1st ed. 2015
Publication : Cham : Springer International Publishing, 2015
Description matérielle : 1 online resource (XII, 375 p. 77 illus :)
Collection : Lecture Notes in Computer Science ; 9465
Note(s) : Programming Languages with Applications to Biology and Security This Festschrift volume
is published in honor of Pierpaolo Degano on the occasion of his 65th birthday and
is the outcome of a colloquium held in Pisa, Italy, in June 2015. Pierpaolo Degano
has worked on a large variety of topics including formal program semantics, concurrency
theory, systems biology and security. The volume contains 22 refereed papers and one
extended abstract, including personal memoirs and regular research papers by close
collaborators and friends and a laudatio illustrating his distinguished career and
his main scientific contributions. The papers deal with the main research topics explored
by Pierpaolo Degano and those still under his investigation
Autre(s) auteur(s) : Bodei, Chiara. Fonction indéterminée
Ferrari, Gian-Luigi. Fonction indéterminée
Priami, Corrado (1964-....). Fonction indéterminée
Sujet(s) : Génie logiciel
Informatique
Réseaux d'ordinateurs
Programmation (informatique)
Algorithmes
Logique informatique
Indice(s) Dewey :
005.101 5113 (23e éd.) = Développement de logiciels - Logique mathématique
Identifiants, prix et caractéristiques : ISBN 9783319255279
Identifiant de la notice : ark:/12148/cb44680803z
Notice n° :
FRBNF44680803
(notice reprise d'un réservoir extérieur)