Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Titre(s) : Logic, Rewriting, and Concurrency [Texte électronique] : Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday / edited by Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott

Édition : 1st ed. 2015

Publication : Cham : Springer International Publishing, 2015

Description matérielle : 1 online resource (XI, 634 p. 103 illus :)

Collection : Lecture Notes in Computer Science ; 9200

Note(s) : This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of José Meseguer to honor him on the occasion of his 65th birthday. These papers were presented at a symposium at the University of Illinois at Urbana-Champaign on September 23-25, 2015. The symposium also featured invited talks by Claude and Hélène Kirchner and by Patrick Lincoln. The foreword of this volume adds a brief overview of some of José's many scientific achievements followed by a bibliography of papers written by José

Autre(s) auteur(s) : Martí-Oliet, Narciso. Fonction indéterminée  Voir les notices liées en tant qu'auteur
Ölveczky, Peter Csaba. Fonction indéterminée  Voir les notices liées en tant qu'auteur
Talcott, Carolyn. Fonction indéterminée  Voir les notices liées en tant qu'auteur

Sujet(s) : Génie logiciel  Voir les notices liées en tant que sujet
Informatique  Voir les notices liées en tant que sujet
Structure logique  Voir les notices liées en tant que sujet

Indice(s) Dewey :  005.131 (23e éd.) = Logique symbolique (informatique)  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783319231655

Identifiant de la notice  : ark:/12148/cb446805421

Notice n° :  FRBNF44680542 (notice reprise d'un réservoir extérieur)