Kategorien
Konto
Anmelden / Registrieren
Warenkorb
 
 

Logic, Rewriting, and Concurrency


Menge:  Stück  
Produktinformationen
cover
cover
Artikel-Nr.:
     5667A-9783319231648
Hersteller:
     Springer Verlag
Herst.-Nr.:
     9783319231648
EAN/GTIN:
     9783319231648
Suchbegriffe:
Allgemeine Informatikbücher
Bücher für Datenbanken - englischsp...
Datenbanken (Fachbücher)
Datenbankenbücher
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é.
Weitere Informationen:
Author:
Narciso Martí-Oliet; Peter Csaba Ölveczky; Carolyn Talcott
Verlag:
Springer International Publishing
Sprache:
eng
Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, Coq, Maude, context-sensitive rewriting, denotational semantics, formal methods, high-performance computing, information flow control, interaction-oriented computing, learning, linear logic, neurobiology
Die Konditionen im Überblick1
Lieferzeit
Lagerstand
Preis
€ 49,99*
Konditionen selbst auswählen
Artikel empfehlenArtikel merken
* Preise mit Sternchen sind Nettopreise zzgl. gesetzlich gültiger MwSt.
UVP bedeutet „Unverbindliche Preisempfehlung“
Unser Angebot richtet sich ausschließlich an Unternehmen, Gewerbetreibende und Freiberufler.