Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

Gespeichert in:
Hauptverfasser:
Martí-Oliet, Narciso (HerausgeberIn), Ölveczky, Peter Csaba (HerausgeberIn), Talcott, Carolyn (HerausgeberIn)
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Cham Springer International Publishing 2015
Ausgabe:
1st ed. 2015
Umfang:
XI, 634 p. 103 illus
ISBN:
9783319231655
ISSN:
0302-9743
Schlagworte:
Computer science
Software engineering
Logic design
Bezugswerke:
Links: